there exists something such that if it is a reasoner then that it is both not focal and not a version is not right.
sent1: the fact that that the tupik snuffles tupik and is not trapezoidal is not right if the tupik is long-chain is right. sent2: the fact that something is not a ninjutsu and is not a douche is wrong if it reciprocates bullfighting. sent3: if something is a kind of a usufructuary then that it is not a exenteration and it is holistic is incorrect. sent4: that the desorption is both not a version and scholastic does not hold if it is a hole. sent5: there is something such that if the fact that it is a shadiness is right then the fact that it is both acquisitive and not dipolar is not correct. sent6: that something does not snuffle emplacement and it does not champion demagoguery is not right if it is illegitimate. sent7: the fact that the fact that something is not focal and is not a version does not hold if it is a kind of a reasoner is not false. sent8: there exists something such that if it is a cooler then the fact that it does not hug immunofluorescence and is not a fowl is not correct. sent9: something is a kind of non-focal thing that is not a kind of a version if it is a reasoner.
sent7 -> int1: if the curator is a reasoner the fact that it is not focal and it is not a version is incorrect.; int1 -> hypothesis;
there is something such that if it does reciprocate bullfighting that it is not a ninjutsu and not a douche is wrong.
sent2 -> int2: if the chemist does reciprocate bullfighting that it is not a ninjutsu and it is not a douche is false.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if it is a reasoner then that it is both not focal and not a version is not right. ; $context$ = sent1: the fact that that the tupik snuffles tupik and is not trapezoidal is not right if the tupik is long-chain is right. sent2: the fact that something is not a ninjutsu and is not a douche is wrong if it reciprocates bullfighting. sent3: if something is a kind of a usufructuary then that it is not a exenteration and it is holistic is incorrect. sent4: that the desorption is both not a version and scholastic does not hold if it is a hole. sent5: there is something such that if the fact that it is a shadiness is right then the fact that it is both acquisitive and not dipolar is not correct. sent6: that something does not snuffle emplacement and it does not champion demagoguery is not right if it is illegitimate. sent7: the fact that the fact that something is not focal and is not a version does not hold if it is a kind of a reasoner is not false. sent8: there exists something such that if it is a cooler then the fact that it does not hug immunofluorescence and is not a fowl is not correct. sent9: something is a kind of non-focal thing that is not a kind of a version if it is a reasoner. ; $proof$ = 
sent7 -> int1: if the curator is a reasoner the fact that it is not focal and it is not a version is incorrect.; int1 -> hypothesis; __PROVED__