the Pitot coos.
sent1: something coos if it is a kind of a Schulz. sent2: the fact that something is a Schulz but not anorthitic does not hold if it does not purple hone. sent3: the crocus is not volatile. sent4: if the hop-picker is a kind of a Schulz it is volatile. sent5: if something is not a kind of a Schulz it is not a kind of a coo and it is a kind of a volatile. sent6: if the crocus is not volatile then the Pitot does not spread Rain-giver and is an aphorism. sent7: the Pitot does not spread Rain-giver. sent8: the crocus is an aphorism. sent9: something is a Schulz if it does not spread Rain-giver and it is a kind of an aphorism. sent10: the Pitot does not spread Rain-giver if the crocus is not a volatile. sent11: something that does spread Rain-giver and is a kind of an aphorism is a Schulz. sent12: the Pitot is a kind of a Schulz if it does spread Rain-giver and it is an aphorism.
sent6 & sent3 -> int1: the Pitot does not spread Rain-giver and is a kind of an aphorism.; sent9 -> int2: if the Pitot does not spread Rain-giver and is an aphorism then it is a kind of a Schulz.; int1 & int2 -> int3: the Pitot is a Schulz.; sent1 -> int4: if the Pitot is a kind of a Schulz then that it does coo hold.; int3 & int4 -> hypothesis;
the Pitot is not a coo.
sent5 -> int5: if the crocus is not a Schulz it does not coo and is a volatile.; sent2 -> int6: the fact that the hone is a Schulz but it is not anorthitic is wrong if that it does not purple hone is not wrong.;
$hypothesis$ = the Pitot coos. ; $context$ = sent1: something coos if it is a kind of a Schulz. sent2: the fact that something is a Schulz but not anorthitic does not hold if it does not purple hone. sent3: the crocus is not volatile. sent4: if the hop-picker is a kind of a Schulz it is volatile. sent5: if something is not a kind of a Schulz it is not a kind of a coo and it is a kind of a volatile. sent6: if the crocus is not volatile then the Pitot does not spread Rain-giver and is an aphorism. sent7: the Pitot does not spread Rain-giver. sent8: the crocus is an aphorism. sent9: something is a Schulz if it does not spread Rain-giver and it is a kind of an aphorism. sent10: the Pitot does not spread Rain-giver if the crocus is not a volatile. sent11: something that does spread Rain-giver and is a kind of an aphorism is a Schulz. sent12: the Pitot is a kind of a Schulz if it does spread Rain-giver and it is an aphorism. ; $proof$ = 
sent6 & sent3 -> int1: the Pitot does not spread Rain-giver and is a kind of an aphorism.; sent9 -> int2: if the Pitot does not spread Rain-giver and is an aphorism then it is a kind of a Schulz.; int1 & int2 -> int3: the Pitot is a Schulz.; sent1 -> int4: if the Pitot is a kind of a Schulz then that it does coo hold.; int3 & int4 -> hypothesis; __PROVED__