that that there is something such that if it is a cross-reference it does not flatten and it is not a pitprop is not false does not hold.
sent1: there is something such that if it is a cross-reference it does flatten and is not a kind of a pitprop. sent2: there is something such that if it is a gin then it shelters pas and it does not shelter pun. sent3: if the nosher is a cross-reference it does not flatten and is not a kind of a pitprop. sent4: if the nosher does hoard peacock then it is a kind of a cross-reference and it does not shelter moreen. sent5: if the peacock is diachronic then it is a polygamist that is not a Omotic. sent6: there is something such that if it is a Korchnoi then it is patriotic and does not shelter nosher. sent7: there exists something such that if it is a kind of a cross-reference that it is not a pitprop is not incorrect. sent8: there is something such that if it is a Pylodictus the fact that it is a blocking and it does not shelter sectionalism hold. sent9: if the fact that the nosher is consubstantial is right it does not flatten. sent10: there is something such that if it is a cowgirl then it is not diachronic. sent11: there is something such that if it is a polygamist it is not objective and it is not a altostratus. sent12: if something is a kind of a Omotic then it does not distinguish farrow and it is not a kind of a sulfapyridine. sent13: there exists something such that if it is a cross-reference then it does not flatten. sent14: there is something such that if it is a kind of a cross-reference then it does not flatten and it is a pitprop. sent15: the nosher is non-cross-ply and not a pitprop if the fact that it is a kind of a Korchnoi is not false. sent16: there exists something such that if it wires abandoned then it is not a framing. sent17: if the nosher is a pitprop it is a kind of a Romance that is not diachronic. sent18: the nosher is not a pitprop if it is a kind of a cross-reference. sent19: there is something such that if it is a couch it is dermatologic but not a call-board.
sent3 -> hypothesis;
there exists something such that if it is a Omotic then it does not distinguish farrow and is not a kind of a sulfapyridine.
sent12 -> int1: if the pas is a Omotic it does not distinguish farrow and is not a sulfapyridine.; int1 -> hypothesis;
$hypothesis$ = that that there is something such that if it is a cross-reference it does not flatten and it is not a pitprop is not false does not hold. ; $context$ = sent1: there is something such that if it is a cross-reference it does flatten and is not a kind of a pitprop. sent2: there is something such that if it is a gin then it shelters pas and it does not shelter pun. sent3: if the nosher is a cross-reference it does not flatten and is not a kind of a pitprop. sent4: if the nosher does hoard peacock then it is a kind of a cross-reference and it does not shelter moreen. sent5: if the peacock is diachronic then it is a polygamist that is not a Omotic. sent6: there is something such that if it is a Korchnoi then it is patriotic and does not shelter nosher. sent7: there exists something such that if it is a kind of a cross-reference that it is not a pitprop is not incorrect. sent8: there is something such that if it is a Pylodictus the fact that it is a blocking and it does not shelter sectionalism hold. sent9: if the fact that the nosher is consubstantial is right it does not flatten. sent10: there is something such that if it is a cowgirl then it is not diachronic. sent11: there is something such that if it is a polygamist it is not objective and it is not a altostratus. sent12: if something is a kind of a Omotic then it does not distinguish farrow and it is not a kind of a sulfapyridine. sent13: there exists something such that if it is a cross-reference then it does not flatten. sent14: there is something such that if it is a kind of a cross-reference then it does not flatten and it is a pitprop. sent15: the nosher is non-cross-ply and not a pitprop if the fact that it is a kind of a Korchnoi is not false. sent16: there exists something such that if it wires abandoned then it is not a framing. sent17: if the nosher is a pitprop it is a kind of a Romance that is not diachronic. sent18: the nosher is not a pitprop if it is a kind of a cross-reference. sent19: there is something such that if it is a couch it is dermatologic but not a call-board. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__