the fact that there is something such that if it is not unnecessary it is a kind of a fizz is not correct.
sent1: the whoremaster is a kind of a bilingual if it is not unnecessary. sent2: if the whoremaster is not unnecessary the fact that it is a kind of a fizz is correct. sent3: there exists something such that if it is not a Pyramid then it galls Kartik. sent4: there is something such that if that it is not quadrupedal is correct the fact that it galls duckpin is not false. sent5: that there exists something such that if it does not gall how-do-you-do it is a besom is true. sent6: the whoremaster is a fizz if it is unnecessary. sent7: the biohazard is unnecessary if it is a kind of a Spokane. sent8: there exists something such that if it hushes that it is departmental is not wrong. sent9: there exists something such that if it is a woof then it is a kind of a domestic. sent10: there is something such that if the fact that it is unnecessary is not false then it is a kind of a fizz. sent11: something is a kind of a flowerbed if it is not a demoralization. sent12: there exists something such that if the fact that it disobliges rudderfish is true then it is a kind of a misdirection. sent13: if the whoremaster is a kind of a fizz it is not non-eonian. sent14: something does disoblige whoremaster if it does not rig. sent15: if that the hart's-tongue is not a kind of a Descurainia is not false it is unnecessary. sent16: there exists something such that if that it is not edible hold it is autotrophic. sent17: if that the aqueduct is a closeout is correct then the fact that it is a kind of a fizz hold. sent18: there exists something such that if it is menstrual it is analphabetic. sent19: there is something such that if it does not variegate retro then it curses.
sent2 -> hypothesis;
there is something such that if it is not a kind of a demoralization that it is a flowerbed is right.
sent11 -> int1: the contractor is a flowerbed if it is not a kind of a demoralization.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not unnecessary it is a kind of a fizz is not correct. ; $context$ = sent1: the whoremaster is a kind of a bilingual if it is not unnecessary. sent2: if the whoremaster is not unnecessary the fact that it is a kind of a fizz is correct. sent3: there exists something such that if it is not a Pyramid then it galls Kartik. sent4: there is something such that if that it is not quadrupedal is correct the fact that it galls duckpin is not false. sent5: that there exists something such that if it does not gall how-do-you-do it is a besom is true. sent6: the whoremaster is a fizz if it is unnecessary. sent7: the biohazard is unnecessary if it is a kind of a Spokane. sent8: there exists something such that if it hushes that it is departmental is not wrong. sent9: there exists something such that if it is a woof then it is a kind of a domestic. sent10: there is something such that if the fact that it is unnecessary is not false then it is a kind of a fizz. sent11: something is a kind of a flowerbed if it is not a demoralization. sent12: there exists something such that if the fact that it disobliges rudderfish is true then it is a kind of a misdirection. sent13: if the whoremaster is a kind of a fizz it is not non-eonian. sent14: something does disoblige whoremaster if it does not rig. sent15: if that the hart's-tongue is not a kind of a Descurainia is not false it is unnecessary. sent16: there exists something such that if that it is not edible hold it is autotrophic. sent17: if that the aqueduct is a closeout is correct then the fact that it is a kind of a fizz hold. sent18: there exists something such that if it is menstrual it is analphabetic. sent19: there is something such that if it does not variegate retro then it curses. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__