that there exists something such that if the fact that it is a kind of allographic thing that is a kind of a roundtable is false it is not a chessboard is not correct.
sent1: something does not overrefine Kasai if that it is an embezzlement and it does congratulate diminution is not correct. sent2: the Tobagonian is a chessboard if that that it is allographic and it is a roundtable hold is not right. sent3: if the Tobagonian is not a roundtable then it is not a chessboard. sent4: the Tobagonian is not a chessboard if it is allographic and is a roundtable. sent5: the Tobagonian is not a chessboard if that it is allographic thing that is a kind of a roundtable is not right. sent6: the Tobagonian is not a Klan if it is not a synthetic. sent7: if the fact that that the Tobagonian does rubify and is allographic does not hold hold then it is not a kind of a EXEC. sent8: there is something such that if that that it is a kind of a Klan and it is salable is not incorrect does not hold it deserts. sent9: there is something such that if it does attest and it is a sack it does not actualize. sent10: there is something such that if it is insurrectional and it is palmar it does not list. sent11: there is something such that if that it is allographic thing that is a roundtable is incorrect it is a chessboard. sent12: that there is something such that if it is a kind of a Siouan and it is a longer it is not a isoagglutination is not false. sent13: there is something such that if it is allographic and it is a roundtable then it is not a chessboard. sent14: if the fact that something is indissoluble and is neural does not hold that it is not pelvic is not false. sent15: the fact that there is something such that if it is not a roundtable it is not a chessboard hold. sent16: there exists something such that if it is not allographic it is not a chessboard.
sent5 -> hypothesis;
there is something such that if that it is indissoluble and it is neural is incorrect then it is non-pelvic.
sent14 -> int1: the homeless is not pelvic if that it is indissoluble and is neural is incorrect.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if the fact that it is a kind of allographic thing that is a kind of a roundtable is false it is not a chessboard is not correct. ; $context$ = sent1: something does not overrefine Kasai if that it is an embezzlement and it does congratulate diminution is not correct. sent2: the Tobagonian is a chessboard if that that it is allographic and it is a roundtable hold is not right. sent3: if the Tobagonian is not a roundtable then it is not a chessboard. sent4: the Tobagonian is not a chessboard if it is allographic and is a roundtable. sent5: the Tobagonian is not a chessboard if that it is allographic thing that is a kind of a roundtable is not right. sent6: the Tobagonian is not a Klan if it is not a synthetic. sent7: if the fact that that the Tobagonian does rubify and is allographic does not hold hold then it is not a kind of a EXEC. sent8: there is something such that if that that it is a kind of a Klan and it is salable is not incorrect does not hold it deserts. sent9: there is something such that if it does attest and it is a sack it does not actualize. sent10: there is something such that if it is insurrectional and it is palmar it does not list. sent11: there is something such that if that it is allographic thing that is a roundtable is incorrect it is a chessboard. sent12: that there is something such that if it is a kind of a Siouan and it is a longer it is not a isoagglutination is not false. sent13: there is something such that if it is allographic and it is a roundtable then it is not a chessboard. sent14: if the fact that something is indissoluble and is neural does not hold that it is not pelvic is not false. sent15: the fact that there is something such that if it is not a roundtable it is not a chessboard hold. sent16: there exists something such that if it is not allographic it is not a chessboard. ; $proof$ = 
sent5 -> hypothesis; __DISPROVED__