the fact that there is something such that if it is a surcoat then it is not a skipjack is incorrect.
sent1: something is not a kind of a flypaper if it is a mistress. sent2: if something does festoon scyphus it is not conscious. sent3: if something does subtilize FTP then it is not a cocarboxylase. sent4: something is a skipjack if it is a surcoat. sent5: there exists something such that if it is a kind of a seemliness that it is not a frightfulness is correct. sent6: if the fugleman is a kind of a skipjack then that it is distant is correct. sent7: there exists something such that if that it is cryonics is not wrong it is not a kind of a armful. sent8: there exists something such that if that it is a misdemeanor is not false then it does not subtilize weatherstrip. sent9: there exists something such that if it is a kind of a surcoat then it is a kind of a skipjack. sent10: that the scyphus is an arresting is not wrong if it is a skipjack. sent11: something is not a skipjack if it is a surcoat. sent12: if the weatherstrip festoons Oceanus then it is not a skipjack. sent13: the scyphus is a kind of a skipjack if it is a surcoat.
sent11 -> int1: if the scyphus is a surcoat then it is not a skipjack.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is a surcoat then it is not a skipjack is incorrect. ; $context$ = sent1: something is not a kind of a flypaper if it is a mistress. sent2: if something does festoon scyphus it is not conscious. sent3: if something does subtilize FTP then it is not a cocarboxylase. sent4: something is a skipjack if it is a surcoat. sent5: there exists something such that if it is a kind of a seemliness that it is not a frightfulness is correct. sent6: if the fugleman is a kind of a skipjack then that it is distant is correct. sent7: there exists something such that if that it is cryonics is not wrong it is not a kind of a armful. sent8: there exists something such that if that it is a misdemeanor is not false then it does not subtilize weatherstrip. sent9: there exists something such that if it is a kind of a surcoat then it is a kind of a skipjack. sent10: that the scyphus is an arresting is not wrong if it is a skipjack. sent11: something is not a skipjack if it is a surcoat. sent12: if the weatherstrip festoons Oceanus then it is not a skipjack. sent13: the scyphus is a kind of a skipjack if it is a surcoat. ; $proof$ = 
sent11 -> int1: if the scyphus is a surcoat then it is not a skipjack.; int1 -> hypothesis; __DISPROVED__