that there is something such that if it is polar the fact that the fact that it does not purport and it is not alienable hold is wrong is false.
sent1: the irons is not a bill and not polar if it is impolite. sent2: there is something such that if it is polar then the fact that the fact that it purports and is not alienable is not false is not correct. sent3: the fact that the irons is not alienable and it does not devein Emmenthal is not true if it is a worm. sent4: if something paganizes then that it is a re-establishment and it is not a aneroid is false. sent5: there exists something such that if it does cloud then that it does not watch Kelly and it is a kind of a Leucaena is false. sent6: the fact that something is both a mainframe and not discriminating is wrong if it is a pasha. sent7: there is something such that if it is discriminating that it is a kind of non-bovine thing that is baptismal is incorrect. sent8: there is something such that if it is a kind of a zone then it is not a forestry and does not hum fruiterer. sent9: there is something such that if it does devein brachiopod then that the fact that it is not a bichromated and it does not unpick is not wrong is not correct. sent10: that something does not undo and it does not garden is not true if the fact that it is not a mainframe is wrong. sent11: something that is polar does not purport and is not alienable. sent12: the fact that something does not purport and is not alienable does not hold if it is polar. sent13: that the irons is a kind of an actin and does not devein mocking is incorrect if it is mensural. sent14: the fact that something is not non-sensorimotor and not a marbles is not true if it is agricultural.
sent12 -> int1: that that the irons does not purport and is inalienable is true does not hold if it is polar.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it is polar the fact that the fact that it does not purport and it is not alienable hold is wrong is false. ; $context$ = sent1: the irons is not a bill and not polar if it is impolite. sent2: there is something such that if it is polar then the fact that the fact that it purports and is not alienable is not false is not correct. sent3: the fact that the irons is not alienable and it does not devein Emmenthal is not true if it is a worm. sent4: if something paganizes then that it is a re-establishment and it is not a aneroid is false. sent5: there exists something such that if it does cloud then that it does not watch Kelly and it is a kind of a Leucaena is false. sent6: the fact that something is both a mainframe and not discriminating is wrong if it is a pasha. sent7: there is something such that if it is discriminating that it is a kind of non-bovine thing that is baptismal is incorrect. sent8: there is something such that if it is a kind of a zone then it is not a forestry and does not hum fruiterer. sent9: there is something such that if it does devein brachiopod then that the fact that it is not a bichromated and it does not unpick is not wrong is not correct. sent10: that something does not undo and it does not garden is not true if the fact that it is not a mainframe is wrong. sent11: something that is polar does not purport and is not alienable. sent12: the fact that something does not purport and is not alienable does not hold if it is polar. sent13: that the irons is a kind of an actin and does not devein mocking is incorrect if it is mensural. sent14: the fact that something is not non-sensorimotor and not a marbles is not true if it is agricultural. ; $proof$ = 
sent12 -> int1: that that the irons does not purport and is inalienable is true does not hold if it is polar.; int1 -> hypothesis; __DISPROVED__