there is something such that if it is not a collard then that it is both a remount and not a collector is not right.
sent1: that something is a remount and is not a collector does not hold if it is a collard. sent2: that the cleats is monatomic thing that is not a kind of a killing is not true if it is not departmental. sent3: there is something such that if it is not a collard then it is a remount and not a collector. sent4: something does remount but it is not a collector if it is not a collard. sent5: that the cleats is a remount but it is not lexicographic is incorrect if it does not look spank. sent6: that if something is not a collard that it is a kind of a remount and is a kind of a collector is incorrect is not wrong. sent7: there is something such that if it is a collard that it remounts and is not a collector is false. sent8: the fact that something does remount but it is not a collector is wrong if it is not a kind of a collard. sent9: there is something such that if it is not a collard the fact that it is a remount that is a collector is wrong. sent10: the fact that the cleats is a kind of a remount that is a kind of a collector is not correct if it is not a collard. sent11: the fact that the bluethroat is a remount but it does not stickle is incorrect if it is not a kind of a Micrococcus. sent12: the cleats is a kind of a remount that is not a collector if the fact that it is not a collard is not false. sent13: if the cleats is a kind of a collard then the fact that it is a remount and is not a collector is false. sent14: there exists something such that if it is not a Meuse the fact that it punctuates and it is not a kind of a preterit is incorrect.
sent8 -> int1: if the cleats is not a collard that it is a remount and it is not a collector is not right.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a collard then that it is both a remount and not a collector is not right. ; $context$ = sent1: that something is a remount and is not a collector does not hold if it is a collard. sent2: that the cleats is monatomic thing that is not a kind of a killing is not true if it is not departmental. sent3: there is something such that if it is not a collard then it is a remount and not a collector. sent4: something does remount but it is not a collector if it is not a collard. sent5: that the cleats is a remount but it is not lexicographic is incorrect if it does not look spank. sent6: that if something is not a collard that it is a kind of a remount and is a kind of a collector is incorrect is not wrong. sent7: there is something such that if it is a collard that it remounts and is not a collector is false. sent8: the fact that something does remount but it is not a collector is wrong if it is not a kind of a collard. sent9: there is something such that if it is not a collard the fact that it is a remount that is a collector is wrong. sent10: the fact that the cleats is a kind of a remount that is a kind of a collector is not correct if it is not a collard. sent11: the fact that the bluethroat is a remount but it does not stickle is incorrect if it is not a kind of a Micrococcus. sent12: the cleats is a kind of a remount that is not a collector if the fact that it is not a collard is not false. sent13: if the cleats is a kind of a collard then the fact that it is a remount and is not a collector is false. sent14: there exists something such that if it is not a Meuse the fact that it punctuates and it is not a kind of a preterit is incorrect. ; $proof$ = 
sent8 -> int1: if the cleats is not a collard that it is a remount and it is not a collector is not right.; int1 -> hypothesis; __PROVED__