the fact that the fact that the propylthiouracil is not a bump and not a grammar is correct does not hold.
sent1: if the depressive is not a Saskatoon then the fact that the fact that the propylthiouracil is a bump but it is not a grammar is wrong hold. sent2: if the depressive does not escort then the ester is both a Saskatoon and a archenteron. sent3: the gasoline is not a Levite if it is not mesenteric. sent4: that the propylthiouracil does not bump but it is a kind of a grammar does not hold if the depressive is not a kind of a Saskatoon. sent5: if something is mesenteric then the fact that it is not a bump and not a grammar hold. sent6: the gasoline is mesenteric thing that is a kind of a Levite if the ester is not a Saskatoon. sent7: the fact that the propylthiouracil is not a bump and is not a grammar is false if the depressive is not a Saskatoon. sent8: if either the ester is non-cytoarchitectural or it numbs or both it is a dervish. sent9: the ester is not cytoarchitectural and/or numbs. sent10: the gasoline is not mesenteric. sent11: the depressive is not mesenteric. sent12: if the ester is a dervish and a Saskatoon the gasoline is not a Saskatoon. sent13: the fact that the fact that the depressive is both not a grammar and not a Saskatoon hold is not true if the ester does not gall five-spot. sent14: if the fact that something is both a grammar and not a bump is incorrect it is not a Saskatoon. sent15: that the propylthiouracil is not a bump and is a grammar does not hold. sent16: if the gasoline is not a kind of a Saskatoon then the fact that it does not gall five-spot is right. sent17: if the ester does gall five-spot the depressive is not a Saskatoon. sent18: if the collodion pits lotion and it escorts then the depressive does not escorts. sent19: that the ester is not a Saskatoon if the depressive does gall five-spot hold.
sent3 & sent10 -> int1: the gasoline is not a Levite.;
the propylthiouracil is both not a bump and not a grammar.
sent5 -> int2: if the propylthiouracil is mesenteric it does not bump and it is not a grammar.; sent8 & sent9 -> int3: the ester is a dervish.;
$hypothesis$ = the fact that the fact that the propylthiouracil is not a bump and not a grammar is correct does not hold. ; $context$ = sent1: if the depressive is not a Saskatoon then the fact that the fact that the propylthiouracil is a bump but it is not a grammar is wrong hold. sent2: if the depressive does not escort then the ester is both a Saskatoon and a archenteron. sent3: the gasoline is not a Levite if it is not mesenteric. sent4: that the propylthiouracil does not bump but it is a kind of a grammar does not hold if the depressive is not a kind of a Saskatoon. sent5: if something is mesenteric then the fact that it is not a bump and not a grammar hold. sent6: the gasoline is mesenteric thing that is a kind of a Levite if the ester is not a Saskatoon. sent7: the fact that the propylthiouracil is not a bump and is not a grammar is false if the depressive is not a Saskatoon. sent8: if either the ester is non-cytoarchitectural or it numbs or both it is a dervish. sent9: the ester is not cytoarchitectural and/or numbs. sent10: the gasoline is not mesenteric. sent11: the depressive is not mesenteric. sent12: if the ester is a dervish and a Saskatoon the gasoline is not a Saskatoon. sent13: the fact that the fact that the depressive is both not a grammar and not a Saskatoon hold is not true if the ester does not gall five-spot. sent14: if the fact that something is both a grammar and not a bump is incorrect it is not a Saskatoon. sent15: that the propylthiouracil is not a bump and is a grammar does not hold. sent16: if the gasoline is not a kind of a Saskatoon then the fact that it does not gall five-spot is right. sent17: if the ester does gall five-spot the depressive is not a Saskatoon. sent18: if the collodion pits lotion and it escorts then the depressive does not escorts. sent19: that the ester is not a Saskatoon if the depressive does gall five-spot hold. ; $proof$ = 
sent3 & sent10 -> int1: the gasoline is not a Levite.; __UNKNOWN__