that the strawman does knead and/or is a program does not hold.
sent1: if the fact that something is not disorderly and it is not a kind of a turmeric hold it is not a program. sent2: if the bidding is not a program then that the strawman kneads or it program or both does not hold. sent3: the fact that the bidding is a turmeric or does knead or both is not correct. sent4: the strawman is not a kind of a program if the bidding is not a kind of a program. sent5: everything is not disorderly and not a turmeric. sent6: the strawman is not a program and is not a gift. sent7: something kneads or does program or both if it does not squeegee polygene. sent8: something does not knead and does squeegee polygene if it is a kind of a Hupa. sent9: the fact that the strawman programs or it is disorderly or both is not true if the bidding is not disorderly.
sent5 -> int1: the bidding is both orderly and not a turmeric.; sent1 -> int2: that the bidding is not a program hold if it is both not disorderly and not a turmeric.; int1 & int2 -> int3: the bidding does not program.; int3 & sent2 -> hypothesis;
either the strawman kneads or it is a kind of a program or both.
sent7 -> int4: either the strawman kneads or it does program or both if it does not squeegee polygene.;
$hypothesis$ = that the strawman does knead and/or is a program does not hold. ; $context$ = sent1: if the fact that something is not disorderly and it is not a kind of a turmeric hold it is not a program. sent2: if the bidding is not a program then that the strawman kneads or it program or both does not hold. sent3: the fact that the bidding is a turmeric or does knead or both is not correct. sent4: the strawman is not a kind of a program if the bidding is not a kind of a program. sent5: everything is not disorderly and not a turmeric. sent6: the strawman is not a program and is not a gift. sent7: something kneads or does program or both if it does not squeegee polygene. sent8: something does not knead and does squeegee polygene if it is a kind of a Hupa. sent9: the fact that the strawman programs or it is disorderly or both is not true if the bidding is not disorderly. ; $proof$ = 
sent5 -> int1: the bidding is both orderly and not a turmeric.; sent1 -> int2: that the bidding is not a program hold if it is both not disorderly and not a turmeric.; int1 & int2 -> int3: the bidding does not program.; int3 & sent2 -> hypothesis; __PROVED__