the fact that there exists something such that if that it is a kind of an inflation and it is not rotatory is not correct then it is unlike is incorrect.
sent1: there exists something such that if that it is an inflation and is rotatory is false it is unlike. sent2: if the fact that something is an inflation but it is not rotatory is not right then it is unlike. sent3: there exists something such that if it is rotatory then it is unlike. sent4: the glassmaker is unlike if that it is a kind of an inflation and it is rotatory is wrong. sent5: if that the guerrilla does crank Koch but it is not declarative is false it is pacific. sent6: there exists something such that if it is not an inflation then the fact that it is unlike is not wrong. sent7: there exists something such that if it is not mutable it is planographic. sent8: if something is a kind of an inflation and is not rotatory then it is unlike.
sent2 -> int1: if that that the glassmaker is an inflation that is not rotatory is not false does not hold then it is unlike.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if that it is a kind of an inflation and it is not rotatory is not correct then it is unlike is incorrect. ; $context$ = sent1: there exists something such that if that it is an inflation and is rotatory is false it is unlike. sent2: if the fact that something is an inflation but it is not rotatory is not right then it is unlike. sent3: there exists something such that if it is rotatory then it is unlike. sent4: the glassmaker is unlike if that it is a kind of an inflation and it is rotatory is wrong. sent5: if that the guerrilla does crank Koch but it is not declarative is false it is pacific. sent6: there exists something such that if it is not an inflation then the fact that it is unlike is not wrong. sent7: there exists something such that if it is not mutable it is planographic. sent8: if something is a kind of an inflation and is not rotatory then it is unlike. ; $proof$ = 
sent2 -> int1: if that that the glassmaker is an inflation that is not rotatory is not false does not hold then it is unlike.; int1 -> hypothesis; __DISPROVED__