there exists something such that if it is not non-autacoidal then it is non-veinal thing that hashes planchet.
sent1: something is veinal and hashes planchet if it is autacoidal. sent2: if the planchet is autacoidal then it does hash planchet. sent3: if something is autacoidal then the fact that it does hash planchet is correct. sent4: the planchet is veinal thing that does hash planchet if that it is autacoidal is right. sent5: something is not a kind of a ramipril and does accord Hendrix if the fact that it is a asthenosphere is true. sent6: there exists something such that if it is autacoidal then it hashes planchet. sent7: there is something such that if it is autacoidal then it is veinal and it hashes planchet. sent8: something is not veinal but it does hash planchet if it is autacoidal. sent9: something does not fiddle but it is a ascidian if it is a kind of a thumbnail. sent10: there exists something such that if it is nonadhesive it does not sew and is a pinetum.
sent8 -> int1: if the planchet is autacoidal then it is non-veinal thing that does hash planchet.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not non-autacoidal then it is non-veinal thing that hashes planchet. ; $context$ = sent1: something is veinal and hashes planchet if it is autacoidal. sent2: if the planchet is autacoidal then it does hash planchet. sent3: if something is autacoidal then the fact that it does hash planchet is correct. sent4: the planchet is veinal thing that does hash planchet if that it is autacoidal is right. sent5: something is not a kind of a ramipril and does accord Hendrix if the fact that it is a asthenosphere is true. sent6: there exists something such that if it is autacoidal then it hashes planchet. sent7: there is something such that if it is autacoidal then it is veinal and it hashes planchet. sent8: something is not veinal but it does hash planchet if it is autacoidal. sent9: something does not fiddle but it is a ascidian if it is a kind of a thumbnail. sent10: there exists something such that if it is nonadhesive it does not sew and is a pinetum. ; $proof$ = 
sent8 -> int1: if the planchet is autacoidal then it is non-veinal thing that does hash planchet.; int1 -> hypothesis; __PROVED__