there is something such that if it is not tertian then the fact that it fumbles yeoman and it is not non-Zairean does not hold.
sent1: the fact that something does mint Thoth and is prosodic is not right if it is crystalline. sent2: the hemiplegic is tertian and it is centrosomic if it is not opisthognathous. sent3: if the payee is not axiomatic the fact that it is a kind of tertian thing that is macrobiotic is not right. sent4: there exists something such that if it does not slice freedom it honors micelle and does honor Villahermosa. sent5: the fact that something fumbles yeoman and is Zairean is right if it is not tertian. sent6: if the payee is not tertian then it does fumble yeoman and it is Zairean. sent7: if something is not tertian then the fact that it fumbles yeoman and is Zairean does not hold. sent8: there is something such that if it is not amaurotic then the fact that it honors Villahermosa and it is a kind of a fight is not correct. sent9: that something is pectineal and is prenuptial is not true if it does not slice ENE. sent10: if the payee does not fight then it is deconstructionist thing that does fumble yeoman. sent11: there exists something such that if it is not a Gesner then that it is both omnivorous and a nailfile does not hold. sent12: if the fact that the payee is quantal is right the fact that it is both a harmonium and Zairean does not hold. sent13: there is something such that if it is tertian the fact that it does fumble yeoman and it is Zairean does not hold. sent14: if the payee is not a iproclozide that it is Zairean and a khoum does not hold. sent15: if the payee is tertian then that it does fumble yeoman and is Zairean is not right. sent16: there exists something such that if it does honor Villahermosa that it is autotomic and it mints circumduction is incorrect. sent17: that something is a sociolinguist and does mint dazed is not true if it is not unreactive. sent18: there is something such that if it fumbles bustier then that it is axiomatic and a Bankhead is false.
sent7 -> int1: that the payee fumbles yeoman and it is Zairean is incorrect if it is not tertian.; int1 -> hypothesis;
there exists something such that if it does not slice ENE then that it is pectineal and it is prenuptial is false.
sent9 -> int2: that the redhorse is pectineal and it is prenuptial does not hold if it does not slice ENE.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it is not tertian then the fact that it fumbles yeoman and it is not non-Zairean does not hold. ; $context$ = sent1: the fact that something does mint Thoth and is prosodic is not right if it is crystalline. sent2: the hemiplegic is tertian and it is centrosomic if it is not opisthognathous. sent3: if the payee is not axiomatic the fact that it is a kind of tertian thing that is macrobiotic is not right. sent4: there exists something such that if it does not slice freedom it honors micelle and does honor Villahermosa. sent5: the fact that something fumbles yeoman and is Zairean is right if it is not tertian. sent6: if the payee is not tertian then it does fumble yeoman and it is Zairean. sent7: if something is not tertian then the fact that it fumbles yeoman and is Zairean does not hold. sent8: there is something such that if it is not amaurotic then the fact that it honors Villahermosa and it is a kind of a fight is not correct. sent9: that something is pectineal and is prenuptial is not true if it does not slice ENE. sent10: if the payee does not fight then it is deconstructionist thing that does fumble yeoman. sent11: there exists something such that if it is not a Gesner then that it is both omnivorous and a nailfile does not hold. sent12: if the fact that the payee is quantal is right the fact that it is both a harmonium and Zairean does not hold. sent13: there is something such that if it is tertian the fact that it does fumble yeoman and it is Zairean does not hold. sent14: if the payee is not a iproclozide that it is Zairean and a khoum does not hold. sent15: if the payee is tertian then that it does fumble yeoman and is Zairean is not right. sent16: there exists something such that if it does honor Villahermosa that it is autotomic and it mints circumduction is incorrect. sent17: that something is a sociolinguist and does mint dazed is not true if it is not unreactive. sent18: there is something such that if it fumbles bustier then that it is axiomatic and a Bankhead is false. ; $proof$ = 
sent7 -> int1: that the payee fumbles yeoman and it is Zairean is incorrect if it is not tertian.; int1 -> hypothesis; __PROVED__