there is something such that if it is a rotter then it is not a kind of a pony and hovers.
sent1: there exists something such that if it is a rotter it is a kind of a pony that does hover. sent2: there is something such that if it is a acatalectic it does matriculate. sent3: there is something such that if it is technophobic then it is a leadwort and it does stopper. sent4: the annoyance is a Anaheim if it is a tahini. sent5: the fact that the annoyance quenches nyctophobia and does recuperate is not false if it is a jumble. sent6: if the cannikin does hover then it stampedes goulash. sent7: the annoyance is not a pony but it does hover if it is a rotter. sent8: the annoyance is a kind of a rotter and it is a denturist if it is a Triticum. sent9: the annoyance does hover and is a sourpuss if the fact that it is proprietary is true. sent10: there exists something such that if it quenches Gwynn it is acatalectic. sent11: there is something such that if it is dissuasive that it does not quench washwoman and it is a Sciurus is correct. sent12: something does not emcee and does broaden if it is a African. sent13: if that the annoyance is a kind of a rotter is correct then it is not a pony. sent14: there is something such that if it is a rotter it hovers. sent15: if the bight does quench photoelectron then it does enact chromite and is a perpetuity. sent16: the annoyance is not a pony but it is a chromophore if it does matriculate.
sent7 -> hypothesis;
there is something such that if it is a African then it does not emcee and it broadens.
sent12 -> int1: the swanflower does not emcee but it does broaden if it is a African.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a rotter then it is not a kind of a pony and hovers. ; $context$ = sent1: there exists something such that if it is a rotter it is a kind of a pony that does hover. sent2: there is something such that if it is a acatalectic it does matriculate. sent3: there is something such that if it is technophobic then it is a leadwort and it does stopper. sent4: the annoyance is a Anaheim if it is a tahini. sent5: the fact that the annoyance quenches nyctophobia and does recuperate is not false if it is a jumble. sent6: if the cannikin does hover then it stampedes goulash. sent7: the annoyance is not a pony but it does hover if it is a rotter. sent8: the annoyance is a kind of a rotter and it is a denturist if it is a Triticum. sent9: the annoyance does hover and is a sourpuss if the fact that it is proprietary is true. sent10: there exists something such that if it quenches Gwynn it is acatalectic. sent11: there is something such that if it is dissuasive that it does not quench washwoman and it is a Sciurus is correct. sent12: something does not emcee and does broaden if it is a African. sent13: if that the annoyance is a kind of a rotter is correct then it is not a pony. sent14: there is something such that if it is a rotter it hovers. sent15: if the bight does quench photoelectron then it does enact chromite and is a perpetuity. sent16: the annoyance is not a pony but it is a chromophore if it does matriculate. ; $proof$ = 
sent7 -> hypothesis; __PROVED__