the faddist is not a pennyroyal and is postexilic.
sent1: the vernier results and/or it is haploid if the sightreader is not a haploid. sent2: if the vernier is not a kind of a pennyroyal the faddist is not a sequoia or is a kind of a pennyroyal or both. sent3: either the vernier does result or it is a haploid or both. sent4: if the sightreader does build anomalist and it is contemptible it is not haploid. sent5: if the vernier is haploid then the sightreader is not a result and is a pennyroyal. sent6: the sightreader is not armillary if a moor is not a spirometer. sent7: that the vernier is a sequoia is correct if it is not a result and/or it is a haploid. sent8: that the faddist is not a pennyroyal hold if the vernier is a sequoia. sent9: there is something such that it is not a kind of a spirometer. sent10: something is not contemptible if it is not armillary. sent11: that the faddist is not a kind of a sequoia is not incorrect. sent12: if the sightreader is not armillary then it is non-contemptible. sent13: if something is both a moor and a spirometer the sightreader is not armillary. sent14: there exists something such that it is a graviton and it is not a kind of a Abelard. sent15: the faddist is not a pennyroyal. sent16: the faddist is not a kind of a pennyroyal but it is postexilic if that the vernier is a kind of a sequoia is true. sent17: something builds anomalist and is not contemptible if it is not armillary. sent18: if the faddist is postexilic but it is not a haploid then it does not build anomalist. sent19: there is something such that it does moor and is not a spirometer. sent20: there exists something such that it is a sequoia and it is not a kind of a haploid. sent21: the fact that the sightreader is not contemptible hold. sent22: if something that builds anomalist is non-contemptible then it is not a kind of a haploid. sent23: the vernier is a kind of a sequoia if it is not a result. sent24: if the sightreader is not a haploid then the vernier is not a result and/or it is a haploid. sent25: if something does build anomalist and it is contemptible it is not a kind of a haploid. sent26: the vernier is not a kind of a heterozygote but it is a kind of a hauberk. sent27: if something is contemptible then the fact that it does not build anomalist and/or it is armillary is not correct.
sent19 & sent6 -> int1: the sightreader is not armillary.; sent17 -> int2: if the sightreader is not armillary it builds anomalist and is not contemptible.; int1 & int2 -> int3: the sightreader does build anomalist and is not contemptible.; sent22 -> int4: the sightreader is not a haploid if the fact that it does build anomalist and it is not contemptible is right.; int3 & int4 -> int5: the sightreader is not a kind of a haploid.; int5 & sent24 -> int6: either the vernier does not result or it is a haploid or both.; int6 & sent7 -> int7: the vernier is a kind of a sequoia.; int7 & sent16 -> hypothesis;
the fact that the faddist is not a kind of a pennyroyal and is postexilic does not hold.
sent27 -> int8: if the vernier is contemptible then the fact that it does not build anomalist and/or it is armillary is false.;
$hypothesis$ = the faddist is not a pennyroyal and is postexilic. ; $context$ = sent1: the vernier results and/or it is haploid if the sightreader is not a haploid. sent2: if the vernier is not a kind of a pennyroyal the faddist is not a sequoia or is a kind of a pennyroyal or both. sent3: either the vernier does result or it is a haploid or both. sent4: if the sightreader does build anomalist and it is contemptible it is not haploid. sent5: if the vernier is haploid then the sightreader is not a result and is a pennyroyal. sent6: the sightreader is not armillary if a moor is not a spirometer. sent7: that the vernier is a sequoia is correct if it is not a result and/or it is a haploid. sent8: that the faddist is not a pennyroyal hold if the vernier is a sequoia. sent9: there is something such that it is not a kind of a spirometer. sent10: something is not contemptible if it is not armillary. sent11: that the faddist is not a kind of a sequoia is not incorrect. sent12: if the sightreader is not armillary then it is non-contemptible. sent13: if something is both a moor and a spirometer the sightreader is not armillary. sent14: there exists something such that it is a graviton and it is not a kind of a Abelard. sent15: the faddist is not a pennyroyal. sent16: the faddist is not a kind of a pennyroyal but it is postexilic if that the vernier is a kind of a sequoia is true. sent17: something builds anomalist and is not contemptible if it is not armillary. sent18: if the faddist is postexilic but it is not a haploid then it does not build anomalist. sent19: there is something such that it does moor and is not a spirometer. sent20: there exists something such that it is a sequoia and it is not a kind of a haploid. sent21: the fact that the sightreader is not contemptible hold. sent22: if something that builds anomalist is non-contemptible then it is not a kind of a haploid. sent23: the vernier is a kind of a sequoia if it is not a result. sent24: if the sightreader is not a haploid then the vernier is not a result and/or it is a haploid. sent25: if something does build anomalist and it is contemptible it is not a kind of a haploid. sent26: the vernier is not a kind of a heterozygote but it is a kind of a hauberk. sent27: if something is contemptible then the fact that it does not build anomalist and/or it is armillary is not correct. ; $proof$ = 
sent19 & sent6 -> int1: the sightreader is not armillary.; sent17 -> int2: if the sightreader is not armillary it builds anomalist and is not contemptible.; int1 & int2 -> int3: the sightreader does build anomalist and is not contemptible.; sent22 -> int4: the sightreader is not a haploid if the fact that it does build anomalist and it is not contemptible is right.; int3 & int4 -> int5: the sightreader is not a kind of a haploid.; int5 & sent24 -> int6: either the vernier does not result or it is a haploid or both.; int6 & sent7 -> int7: the vernier is a kind of a sequoia.; int7 & sent16 -> hypothesis; __PROVED__