there is something such that if that it is a kind of a kern and it bends alligator does not hold then it does not condole shoelace.
sent1: the alligator does not condole shoelace if that it is a kind of a kern that does bend alligator is incorrect. sent2: if the fact that the fact that the peroneus kerns and is a Wallace is not false is not right then it does not display. sent3: there is something such that if it is a Perisoreus and rends it is not a nucleotide. sent4: there exists something such that if the fact that it is not a kind of a Smitane hold then it does not concern in-joke. sent5: there exists something such that if it does not bend isomerase then the fact that it is not a Wallace is true. sent6: something is not specialistic if the fact that it is autotomic and it is telluric does not hold.
sent1 -> hypothesis;
there exists something such that if the fact that it is autotomic and it is telluric does not hold then it is not specialistic.
sent6 -> int1: the forefoot is not specialistic if the fact that it is not non-autotomic and it is telluric is false.; int1 -> hypothesis;
$hypothesis$ = there is something such that if that it is a kind of a kern and it bends alligator does not hold then it does not condole shoelace. ; $context$ = sent1: the alligator does not condole shoelace if that it is a kind of a kern that does bend alligator is incorrect. sent2: if the fact that the fact that the peroneus kerns and is a Wallace is not false is not right then it does not display. sent3: there is something such that if it is a Perisoreus and rends it is not a nucleotide. sent4: there exists something such that if the fact that it is not a kind of a Smitane hold then it does not concern in-joke. sent5: there exists something such that if it does not bend isomerase then the fact that it is not a Wallace is true. sent6: something is not specialistic if the fact that it is autotomic and it is telluric does not hold. ; $proof$ = 
sent1 -> hypothesis; __PROVED__