there exists something such that if the fact that that it is not a anastrophe and is a Tibetan hold does not hold it is not a binomial.
sent1: there is something such that if it is not a prerequisite and it is mesic then it is not a geneticist. sent2: the kitten is an oxcart if that it does not guess allotropy and it is a Tyrannus does not hold. sent3: if that the kitten is not a anastrophe but it is a Tibetan is not right then it is not binomial. sent4: there is something such that if the fact that it is a kind of non-enteric thing that is a Tyrannus does not hold then it is arbitral. sent5: there exists something such that if it is not disobedient and it is a petrel it does not gather kitten. sent6: there exists something such that if it is a kind of a hymeneal it is not improper. sent7: if that something is not a kind of a file but it is a wet-nurse is wrong it is not a snub. sent8: if that the kitten is a kind of a anastrophe and it is a Tibetan is incorrect it is not a binomial.
sent3 -> hypothesis;
there is something such that if that it is both not a file and a wet-nurse does not hold the fact that it is a snub is false.
sent7 -> int1: the allotropy is not a kind of a snub if that it is not a file and it is a kind of a wet-nurse is not right.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that that it is not a anastrophe and is a Tibetan hold does not hold it is not a binomial. ; $context$ = sent1: there is something such that if it is not a prerequisite and it is mesic then it is not a geneticist. sent2: the kitten is an oxcart if that it does not guess allotropy and it is a Tyrannus does not hold. sent3: if that the kitten is not a anastrophe but it is a Tibetan is not right then it is not binomial. sent4: there is something such that if the fact that it is a kind of non-enteric thing that is a Tyrannus does not hold then it is arbitral. sent5: there exists something such that if it is not disobedient and it is a petrel it does not gather kitten. sent6: there exists something such that if it is a kind of a hymeneal it is not improper. sent7: if that something is not a kind of a file but it is a wet-nurse is wrong it is not a snub. sent8: if that the kitten is a kind of a anastrophe and it is a Tibetan is incorrect it is not a binomial. ; $proof$ = 
sent3 -> hypothesis; __PROVED__