there is something such that if that it is not a kind of a horniness and is not Victorian is wrong then the fact that it is not a kind of a peel is right.
sent1: if that the partaker is not a kind of a horniness and it is not a kind of a Victorian is not true that it does not peel hold. sent2: there is something such that if it does discuss then it does not untwist. sent3: there exists something such that if the fact that it is a horniness and not Victorian is not true the fact that it is not a peel hold. sent4: if that something is not amenorrheic and it is not a avadavat is not right the fact that it does not palatalize binomial is correct.
sent1 -> hypothesis;
there exists something such that if that it is not amenorrheic and it is not a avadavat does not hold then it does not palatalize binomial.
sent4 -> int1: the lessor does not palatalize binomial if the fact that it is not amenorrheic and is not a kind of a avadavat is incorrect.; int1 -> hypothesis;
$hypothesis$ = there is something such that if that it is not a kind of a horniness and is not Victorian is wrong then the fact that it is not a kind of a peel is right. ; $context$ = sent1: if that the partaker is not a kind of a horniness and it is not a kind of a Victorian is not true that it does not peel hold. sent2: there is something such that if it does discuss then it does not untwist. sent3: there exists something such that if the fact that it is a horniness and not Victorian is not true the fact that it is not a peel hold. sent4: if that something is not amenorrheic and it is not a avadavat is not right the fact that it does not palatalize binomial is correct. ; $proof$ = 
sent1 -> hypothesis; __PROVED__