there is something such that it is Noachian.
sent1: there exists something such that it is not a kind of a holocephalan. sent2: something does not exalt foamflower. sent3: everything does not scoff Kahn. sent4: there exists something such that that it does scoff fisherman or it is a ballad or both is incorrect. sent5: the magnetograph is Noachian if there exists something such that the fact that either it scoffs fisherman or it is not a kind of a ballad or both is not right. sent6: if that the Sioux does not scoff Kahn hold then that it is a Keaton and it is a kind of a drought is wrong. sent7: that the magnetograph is a Betelgeuse or it is not a heterosexual or both is wrong if there is something such that it is non-Noachian. sent8: something is a kind of a sax and/or it is not a Eigen. sent9: there is something such that it is not a Fabian. sent10: the Sioux does not scoff Kahn. sent11: that something is invitational and/or it does not feed foot-lambert is incorrect if it is not Noachian. sent12: if something does not scoff Kahn then it is a drought and a dig. sent13: there is something such that it is a kind of a ballad. sent14: there exists something such that the fact that either it does scoff fisherman or it is not a ballad or both is not right. sent15: if something is not a drought or does not dig or both it is not Noachian. sent16: something is agonadal.
sent14 & sent5 -> int1: the magnetograph is Noachian.; int1 -> hypothesis;
there is something such that that it either is a Betelgeuse or is not a heterosexual or both is wrong.
sent12 -> int2: the fact that the sprat is a drought and a dig is correct if it does not scoff Kahn.; sent3 -> int3: the sprat does not scoff Kahn.; int2 & int3 -> int4: the sprat is a drought and digs.; int4 -> int5: everything is a drought and is a kind of a dig.; int5 -> int6: the Sioux is a kind of a drought that is a dig.; int6 -> int7: the Sioux is a kind of a drought.;
$hypothesis$ = there is something such that it is Noachian. ; $context$ = sent1: there exists something such that it is not a kind of a holocephalan. sent2: something does not exalt foamflower. sent3: everything does not scoff Kahn. sent4: there exists something such that that it does scoff fisherman or it is a ballad or both is incorrect. sent5: the magnetograph is Noachian if there exists something such that the fact that either it scoffs fisherman or it is not a kind of a ballad or both is not right. sent6: if that the Sioux does not scoff Kahn hold then that it is a Keaton and it is a kind of a drought is wrong. sent7: that the magnetograph is a Betelgeuse or it is not a heterosexual or both is wrong if there is something such that it is non-Noachian. sent8: something is a kind of a sax and/or it is not a Eigen. sent9: there is something such that it is not a Fabian. sent10: the Sioux does not scoff Kahn. sent11: that something is invitational and/or it does not feed foot-lambert is incorrect if it is not Noachian. sent12: if something does not scoff Kahn then it is a drought and a dig. sent13: there is something such that it is a kind of a ballad. sent14: there exists something such that the fact that either it does scoff fisherman or it is not a ballad or both is not right. sent15: if something is not a drought or does not dig or both it is not Noachian. sent16: something is agonadal. ; $proof$ = 
sent14 & sent5 -> int1: the magnetograph is Noachian.; int1 -> hypothesis; __PROVED__