there is something such that if it is not a kind of an irrational the fact that it is a wpm and is a kind of a goatsucker is not correct.
sent1: there is something such that if it is irrational then the fact that it is a wpm and is a goatsucker is not true. sent2: if that the dipteran is a kind of an irrational is right the fact that it is a wpm and a goatsucker is not correct. sent3: there is something such that if it is not biaxial it houses Carthamus and it enfeebles briar. sent4: the fact that the dipteran is a wpm and it is a goatsucker is not right if it is not an irrational. sent5: the fact that something is not undynamic and it is a kind of a goatsucker is incorrect if it is not costive. sent6: the dipteran is a wpm that is a goatsucker if it is not a kind of an irrational. sent7: there is something such that if it is a Sitwell then the fact that it is not non-appellative and it does compare is wrong. sent8: the fact that something does enfeeble Solresol and it does suffer twiddle is false if it is not a kind of a goatsucker. sent9: there exists something such that if it is not an irrational then that it is a kind of a wpm that is a goatsucker is right. sent10: the fact that the silvervine is sphingine thing that suffers pallette is not true if it is a goatsucker. sent11: there exists something such that if it is not a combine then it is high-tech and it is a kind of a curvet.
sent4 -> hypothesis;
the fact that the curbside is a dynamic and a goatsucker is incorrect if it is not costive.
sent5 -> hypothesis;
$hypothesis$ = there is something such that if it is not a kind of an irrational the fact that it is a wpm and is a kind of a goatsucker is not correct. ; $context$ = sent1: there is something such that if it is irrational then the fact that it is a wpm and is a goatsucker is not true. sent2: if that the dipteran is a kind of an irrational is right the fact that it is a wpm and a goatsucker is not correct. sent3: there is something such that if it is not biaxial it houses Carthamus and it enfeebles briar. sent4: the fact that the dipteran is a wpm and it is a goatsucker is not right if it is not an irrational. sent5: the fact that something is not undynamic and it is a kind of a goatsucker is incorrect if it is not costive. sent6: the dipteran is a wpm that is a goatsucker if it is not a kind of an irrational. sent7: there is something such that if it is a Sitwell then the fact that it is not non-appellative and it does compare is wrong. sent8: the fact that something does enfeeble Solresol and it does suffer twiddle is false if it is not a kind of a goatsucker. sent9: there exists something such that if it is not an irrational then that it is a kind of a wpm that is a goatsucker is right. sent10: the fact that the silvervine is sphingine thing that suffers pallette is not true if it is a goatsucker. sent11: there exists something such that if it is not a combine then it is high-tech and it is a kind of a curvet. ; $proof$ = 
sent4 -> hypothesis; __PROVED__