there exists something such that the fact that that it does homestead and it does not wrestle Tarsiidae is right is not true.
sent1: if the schizocarp does not memorialize Davenport then that it is a kind of cacodylic thing that does not wrestle Tarsiidae is incorrect. sent2: the schizocarp is not entozoic. sent3: the fact that the Davenport wrestles mombin and is sympathetic is incorrect. sent4: there exists something such that that it wrestles Tarsiidae and is entozoic is not right. sent5: if that the schizocarp is not entozoic is not false that it homesteads and it does not wrestle Tarsiidae is not right. sent6: the baldhead does not wrestle Tarsiidae if the schizocarp is not non-entozoic and not informative. sent7: there exists something such that it homesteads and it does not wrestle Tarsiidae. sent8: that the aerie is agrobiologic but it is not a kind of a homestead is not right. sent9: the applicator does not wrestle Tarsiidae. sent10: there exists something such that the fact that it is a kind of entozoic thing that does homestead is not correct. sent11: the fact that the schizocarp is a kind of a homestead that does wrestle Tarsiidae does not hold if it is not entozoic. sent12: there is something such that the fact that it is a homestead and is not entozoic is false. sent13: the fact that the garbageman is both a homestead and not non-husbandly is incorrect. sent14: there exists something such that that it is determinable thing that overheats is not true. sent15: there exists something such that the fact that it does homestead and it does wrestle Tarsiidae is not correct. sent16: there exists something such that that it does aberrate and does memorialize casuist does not hold. sent17: something is uninformative if it is a lapful. sent18: there is something such that the fact that it is entozoic thing that does wrestle Tarsiidae is not true. sent19: there is something such that that it is a shop that does wrestle furrowed is not correct.
sent5 & sent2 -> int1: the fact that the schizocarp does homestead and does not wrestle Tarsiidae does not hold.; int1 -> hypothesis;
the baldhead does not wrestle Tarsiidae.
sent17 -> int2: if that the schizocarp is a lapful is not incorrect then it is uninformative.;
$hypothesis$ = there exists something such that the fact that that it does homestead and it does not wrestle Tarsiidae is right is not true. ; $context$ = sent1: if the schizocarp does not memorialize Davenport then that it is a kind of cacodylic thing that does not wrestle Tarsiidae is incorrect. sent2: the schizocarp is not entozoic. sent3: the fact that the Davenport wrestles mombin and is sympathetic is incorrect. sent4: there exists something such that that it wrestles Tarsiidae and is entozoic is not right. sent5: if that the schizocarp is not entozoic is not false that it homesteads and it does not wrestle Tarsiidae is not right. sent6: the baldhead does not wrestle Tarsiidae if the schizocarp is not non-entozoic and not informative. sent7: there exists something such that it homesteads and it does not wrestle Tarsiidae. sent8: that the aerie is agrobiologic but it is not a kind of a homestead is not right. sent9: the applicator does not wrestle Tarsiidae. sent10: there exists something such that the fact that it is a kind of entozoic thing that does homestead is not correct. sent11: the fact that the schizocarp is a kind of a homestead that does wrestle Tarsiidae does not hold if it is not entozoic. sent12: there is something such that the fact that it is a homestead and is not entozoic is false. sent13: the fact that the garbageman is both a homestead and not non-husbandly is incorrect. sent14: there exists something such that that it is determinable thing that overheats is not true. sent15: there exists something such that the fact that it does homestead and it does wrestle Tarsiidae is not correct. sent16: there exists something such that that it does aberrate and does memorialize casuist does not hold. sent17: something is uninformative if it is a lapful. sent18: there is something such that the fact that it is entozoic thing that does wrestle Tarsiidae is not true. sent19: there is something such that that it is a shop that does wrestle furrowed is not correct. ; $proof$ = 
sent5 & sent2 -> int1: the fact that the schizocarp does homestead and does not wrestle Tarsiidae does not hold.; int1 -> hypothesis; __PROVED__