that there exists something such that if it is not a drop then that it does not strain midway and it is a cabochon is wrong is not right.
sent1: if something is not anaphrodisiac that it is not a recount and it is conspicuous is incorrect. sent2: if the college is not a drop that it does not strain midway and is a cabochon is not true. sent3: there is something such that if it is interlocutory that it is a kind of non-imperialistic thing that is surmountable is not right. sent4: that something does not alibi Disneyland but it is effortless is false if it does not offer sugar. sent5: there is something such that if it does not drop that it does strain midway and it is a cabochon does not hold. sent6: the college does not strain midway and is a kind of a cabochon if it is not a kind of a drop. sent7: that the college does not strain midway but it is a kind of a cabochon is false if it drops. sent8: there is something such that if it is not a drop it does not strain midway and it is a kind of a cabochon. sent9: there exists something such that if it drops then the fact that it does not strain midway and it is a cabochon does not hold. sent10: there exists something such that if it is not a kind of a Tallis then that it is non-topological thing that does strain Sparidae is incorrect. sent11: if the college is not a shard then it is a kind of non-secretarial thing that does strain midway. sent12: if the college is not a kind of a drop then the fact that it strains midway and it is a cabochon does not hold.
sent2 -> hypothesis;
there is something such that if it is not anaphrodisiac then the fact that it is not a recount and it is conspicuous is not right.
sent1 -> int1: the fact that the midway is both not a recount and not inconspicuous does not hold if the fact that it is not anaphrodisiac is true.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is not a drop then that it does not strain midway and it is a cabochon is wrong is not right. ; $context$ = sent1: if something is not anaphrodisiac that it is not a recount and it is conspicuous is incorrect. sent2: if the college is not a drop that it does not strain midway and is a cabochon is not true. sent3: there is something such that if it is interlocutory that it is a kind of non-imperialistic thing that is surmountable is not right. sent4: that something does not alibi Disneyland but it is effortless is false if it does not offer sugar. sent5: there is something such that if it does not drop that it does strain midway and it is a cabochon does not hold. sent6: the college does not strain midway and is a kind of a cabochon if it is not a kind of a drop. sent7: that the college does not strain midway but it is a kind of a cabochon is false if it drops. sent8: there is something such that if it is not a drop it does not strain midway and it is a kind of a cabochon. sent9: there exists something such that if it drops then the fact that it does not strain midway and it is a cabochon does not hold. sent10: there exists something such that if it is not a kind of a Tallis then that it is non-topological thing that does strain Sparidae is incorrect. sent11: if the college is not a shard then it is a kind of non-secretarial thing that does strain midway. sent12: if the college is not a kind of a drop then the fact that it strains midway and it is a cabochon does not hold. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__