that there is something such that if it is not uneven then the fact that it is a kind of a dingbat that alters is not correct is not right.
sent1: if the first is not uneven the fact that it is a dingbat and it does alter is incorrect. sent2: the first is a dingbat and it does alter if it is not uneven. sent3: that something is a K and it is emmetropic is wrong if it is not a damsel. sent4: there is something such that if it does not trice swine then the fact that it is a kind of a render that is a program is false.
sent1 -> hypothesis;
there is something such that if the fact that it is not a kind of a damsel is not false then the fact that it is a K and emmetropic is wrong.
sent3 -> int1: if that the tripletail is not a damsel is not incorrect that it is both a K and emmetropic does not hold.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it is not uneven then the fact that it is a kind of a dingbat that alters is not correct is not right. ; $context$ = sent1: if the first is not uneven the fact that it is a dingbat and it does alter is incorrect. sent2: the first is a dingbat and it does alter if it is not uneven. sent3: that something is a K and it is emmetropic is wrong if it is not a damsel. sent4: there is something such that if it does not trice swine then the fact that it is a kind of a render that is a program is false. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__