there is something such that if it is not a kind of a hire and it is not horticultural then it is not cryogenics.
sent1: there is something such that if that it is not a presage and does not beat pickaninny is true then that it is not jawless is not false. sent2: if something that is not a Merovingian does not spot reamer it is not palingenetic. sent3: there is something such that if it does not hire and it is not horticultural then it is cryogenics. sent4: the sawhorse is not cryogenics if it is a kind of a hire and it is not horticultural. sent5: if the sawhorse is not a hire and is horticultural then it is not cryogenics. sent6: the fact that there exists something such that if it is not a hire and not non-horticultural then it is not cryogenics hold. sent7: if something is both not deep and not a waverer then it does not spot creel. sent8: if the sawhorse is not a hire and it is not horticultural then it is cryogenics. sent9: there is something such that if the fact that it is a kind of a hire and it is not horticultural hold it is not cryogenics. sent10: there exists something such that if the fact that it is not stylish and it is not a postdiluvian is right it is not a beat. sent11: if the sculptor is territorial and does not beat walk-in then it does not fudge Kwajalein. sent12: the sawhorse is not cryogenics if it is not a hire and not horticultural. sent13: the Ward is not horticultural if it is not a negligence and does not spot Heloise. sent14: the sawhorse is not a hire if it is not a remilitarization and not off.
sent12 -> hypothesis;
there is something such that if it is not a kind of a Merovingian and it does not spot reamer then it is not palingenetic.
sent2 -> int1: if the usurer is not a Merovingian and does not spot reamer then it is not palingenetic.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a kind of a hire and it is not horticultural then it is not cryogenics. ; $context$ = sent1: there is something such that if that it is not a presage and does not beat pickaninny is true then that it is not jawless is not false. sent2: if something that is not a Merovingian does not spot reamer it is not palingenetic. sent3: there is something such that if it does not hire and it is not horticultural then it is cryogenics. sent4: the sawhorse is not cryogenics if it is a kind of a hire and it is not horticultural. sent5: if the sawhorse is not a hire and is horticultural then it is not cryogenics. sent6: the fact that there exists something such that if it is not a hire and not non-horticultural then it is not cryogenics hold. sent7: if something is both not deep and not a waverer then it does not spot creel. sent8: if the sawhorse is not a hire and it is not horticultural then it is cryogenics. sent9: there is something such that if the fact that it is a kind of a hire and it is not horticultural hold it is not cryogenics. sent10: there exists something such that if the fact that it is not stylish and it is not a postdiluvian is right it is not a beat. sent11: if the sculptor is territorial and does not beat walk-in then it does not fudge Kwajalein. sent12: the sawhorse is not cryogenics if it is not a hire and not horticultural. sent13: the Ward is not horticultural if it is not a negligence and does not spot Heloise. sent14: the sawhorse is not a hire if it is not a remilitarization and not off. ; $proof$ = 
sent12 -> hypothesis; __PROVED__