there exists something such that if it is a protohippus then it is not a roundhead and not astigmatic.
sent1: a carry is both not a neuroblastoma and not calyceal. sent2: the taffrail is a kind of a chug but it is not a roundhead if it is a lame. sent3: there exists something such that if it plummets then the fact that it is not Gandhian is true. sent4: there exists something such that if the fact that it is not a rhinoplasty is not correct it does not frighten cusk and it does not frighten Harte. sent5: there is something such that if it is thinkable it does not sour and it is not Jovian. sent6: there exists something such that if it thinks barley then it is not a chug and it does card Gibran. sent7: there is something such that if it is a quadraphony then it is not anhydrous and does frighten alienism. sent8: if the cusk is a kind of a protohippus it is not astigmatic. sent9: there is something such that if it wreathes it is not rotatory and it is not a Aristotelianism. sent10: the cusk is not a kind of a protohippus and it does not post guaiac if it is anthracitic. sent11: the cusk is not a roundhead and not astigmatic if it is a kind of a protohippus.
sent11 -> hypothesis;
there exists something such that if it is a kind of a carry it is not a neuroblastoma and it is not calyceal.
sent1 -> int1: the fact that the thyrse is not a neuroblastoma and not calyceal is not false if it carries.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a protohippus then it is not a roundhead and not astigmatic. ; $context$ = sent1: a carry is both not a neuroblastoma and not calyceal. sent2: the taffrail is a kind of a chug but it is not a roundhead if it is a lame. sent3: there exists something such that if it plummets then the fact that it is not Gandhian is true. sent4: there exists something such that if the fact that it is not a rhinoplasty is not correct it does not frighten cusk and it does not frighten Harte. sent5: there is something such that if it is thinkable it does not sour and it is not Jovian. sent6: there exists something such that if it thinks barley then it is not a chug and it does card Gibran. sent7: there is something such that if it is a quadraphony then it is not anhydrous and does frighten alienism. sent8: if the cusk is a kind of a protohippus it is not astigmatic. sent9: there is something such that if it wreathes it is not rotatory and it is not a Aristotelianism. sent10: the cusk is not a kind of a protohippus and it does not post guaiac if it is anthracitic. sent11: the cusk is not a roundhead and not astigmatic if it is a kind of a protohippus. ; $proof$ = 
sent11 -> hypothesis; __PROVED__