the fact that there exists something such that if it is not a kind of a gurgle that it does not rid strop and it is cordless is incorrect is not true.
sent1: if something is not a gurgle then the fact that it does not rid strop and is not non-cordless is not right. sent2: there is something such that if the fact that it is not mini is right it is not a ferret and it is not ripe.
sent1 -> int1: if the hopper is not a gurgle then the fact that it does not rid strop and is not non-cordless is incorrect.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a kind of a gurgle that it does not rid strop and it is cordless is incorrect is not true. ; $context$ = sent1: if something is not a gurgle then the fact that it does not rid strop and is not non-cordless is not right. sent2: there is something such that if the fact that it is not mini is right it is not a ferret and it is not ripe. ; $proof$ = 
sent1 -> int1: if the hopper is not a gurgle then the fact that it does not rid strop and is not non-cordless is incorrect.; int1 -> hypothesis; __DISPROVED__