the fact that there is something such that if it is a callithump then it is not tearful is not correct.
sent1: if the operation is a callithump it is not corrupt. sent2: if the operation is a bosom then it is not a hindsight. sent3: if the fact that the operation is a callithump is not false it is tearful. sent4: if something is operable it is not a kind of a Hogmanay. sent5: something that is a kind of a callithump is not tearful. sent6: there exists something such that if the fact that it shores godson is not false then it does not outgeneral sulindac. sent7: there is something such that if it is departmental then it is not lovable. sent8: there exists something such that if it is a callithump it is tearful. sent9: if something is a callithump it is tearful. sent10: there is something such that if it is Coleridgian it is not a kind of a folklore. sent11: if the operation is tearful it is not a Psophocarpus. sent12: the operation is not tearful if it outgenerals sulindac. sent13: the operation is not ecdemic if the fact that it is a callithump is not incorrect. sent14: the operation does not billow bayonet if the fact that it contemplates is correct.
sent5 -> int1: the operation is not tearful if it is a kind of a callithump.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is a callithump then it is not tearful is not correct. ; $context$ = sent1: if the operation is a callithump it is not corrupt. sent2: if the operation is a bosom then it is not a hindsight. sent3: if the fact that the operation is a callithump is not false it is tearful. sent4: if something is operable it is not a kind of a Hogmanay. sent5: something that is a kind of a callithump is not tearful. sent6: there exists something such that if the fact that it shores godson is not false then it does not outgeneral sulindac. sent7: there is something such that if it is departmental then it is not lovable. sent8: there exists something such that if it is a callithump it is tearful. sent9: if something is a callithump it is tearful. sent10: there is something such that if it is Coleridgian it is not a kind of a folklore. sent11: if the operation is tearful it is not a Psophocarpus. sent12: the operation is not tearful if it outgenerals sulindac. sent13: the operation is not ecdemic if the fact that it is a callithump is not incorrect. sent14: the operation does not billow bayonet if the fact that it contemplates is correct. ; $proof$ = 
sent5 -> int1: the operation is not tearful if it is a kind of a callithump.; int1 -> hypothesis; __DISPROVED__