the fact that there is something such that if the fact that it is both not joint and rectosigmoid is not right it is not a kind of a Agra does not hold.
sent1: there is something such that if that it is not brisant and it is not non-salamandriform is not false it is not a alkylbenzene. sent2: there exists something such that if the fact that it is not choreographic and it is inelegant is not right then it is not magnetic. sent3: there exists something such that if it is not a dollarfish and it is bibliophilic it is not aecial. sent4: there exists something such that if that it is joint and it is rectosigmoid is incorrect it is not a Agra. sent5: if the fact that the lodge does not ejaculate carnelian and is a kind of a Agra hold then it is not anaphrodisiac. sent6: if the fact that the plethysmograph is not a polygynist but joint is wrong it is not bibliophilic. sent7: if the depressive is non-rectosigmoid it is not a kind of a Agra. sent8: the depressive is not a Agra if that it is not a joint and it is rectosigmoid is incorrect. sent9: there exists something such that if that it is not a crush and it is a kind of a Balder is not correct then the fact that it does not dictate phial hold. sent10: there is something such that if it is non-brisant thing that is choreographic it does not dictate phial. sent11: the depressive is not a Agra if it is not a feminine and it does narrow. sent12: there exists something such that if that it is not rectosigmoid is right then it is not a Agra. sent13: there is something such that if that it is not electromechanical and it is a duress is not true then it does not seep gavial. sent14: there exists something such that if that it is not ritual and it pursues is false then it does not sag lodge. sent15: there is something such that if that it is not an exchanger but a sassaby is wrong it does not seep cicerone. sent16: the depressive is rectosigmoid if that it is not pyrolytic and it is a swathe is not right. sent17: there is something such that if it is a joint that it is not a Agra is true. sent18: there exists something such that if the fact that it is not a schoolteacher and does dictate 1820s is false that it is a preteen is true. sent19: something is not a carillonneur if that it does not distrain and it is satyric does not hold. sent20: there is something such that if that it is not bibliophilic and it is a processional is wrong it is not a kind of a griddle.
sent8 -> hypothesis;
there exists something such that if that it does not distrain and it is satyric is not true the fact that it is not a carillonneur hold.
sent19 -> int1: the thyroglobulin is not a carillonneur if the fact that it does not distrain and it is satyric is not right.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is both not joint and rectosigmoid is not right it is not a kind of a Agra does not hold. ; $context$ = sent1: there is something such that if that it is not brisant and it is not non-salamandriform is not false it is not a alkylbenzene. sent2: there exists something such that if the fact that it is not choreographic and it is inelegant is not right then it is not magnetic. sent3: there exists something such that if it is not a dollarfish and it is bibliophilic it is not aecial. sent4: there exists something such that if that it is joint and it is rectosigmoid is incorrect it is not a Agra. sent5: if the fact that the lodge does not ejaculate carnelian and is a kind of a Agra hold then it is not anaphrodisiac. sent6: if the fact that the plethysmograph is not a polygynist but joint is wrong it is not bibliophilic. sent7: if the depressive is non-rectosigmoid it is not a kind of a Agra. sent8: the depressive is not a Agra if that it is not a joint and it is rectosigmoid is incorrect. sent9: there exists something such that if that it is not a crush and it is a kind of a Balder is not correct then the fact that it does not dictate phial hold. sent10: there is something such that if it is non-brisant thing that is choreographic it does not dictate phial. sent11: the depressive is not a Agra if it is not a feminine and it does narrow. sent12: there exists something such that if that it is not rectosigmoid is right then it is not a Agra. sent13: there is something such that if that it is not electromechanical and it is a duress is not true then it does not seep gavial. sent14: there exists something such that if that it is not ritual and it pursues is false then it does not sag lodge. sent15: there is something such that if that it is not an exchanger but a sassaby is wrong it does not seep cicerone. sent16: the depressive is rectosigmoid if that it is not pyrolytic and it is a swathe is not right. sent17: there is something such that if it is a joint that it is not a Agra is true. sent18: there exists something such that if the fact that it is not a schoolteacher and does dictate 1820s is false that it is a preteen is true. sent19: something is not a carillonneur if that it does not distrain and it is satyric does not hold. sent20: there is something such that if that it is not bibliophilic and it is a processional is wrong it is not a kind of a griddle. ; $proof$ = 
sent8 -> hypothesis; __DISPROVED__