the handwheel does not weed waterloo.
sent1: if the handwheel is inefficient and it is amniotic then it is not a kind of a doubleheader. sent2: that if the fact that the Papua is not a doubleheader is not incorrect then the handwheel is not a doubleheader and does not camp personification is not false. sent3: something is not a doubleheader if the fact that it is inefficient or it is not amniotic or both is false. sent4: the handwheel is not a kind of a bombast if it corners Papua and it does weed waterloo. sent5: that the Papua either is inefficient or is not amniotic or both does not hold. sent6: the handwheel does corner Papua if it is not a doubleheader and does not camp personification. sent7: the handwheel is a bombast.
sent3 -> int1: the Papua is not a doubleheader if that it is either inefficient or not amniotic or both is incorrect.; int1 & sent5 -> int2: the Papua is not a doubleheader.; int2 & sent2 -> int3: the fact that the handwheel is not a kind of a doubleheader and it does not camp personification hold.; int3 & sent6 -> int4: the handwheel corners Papua.; void -> assump1: Let's assume that the handwheel does weed waterloo.; int4 & assump1 -> int5: the handwheel does corner Papua and it does weed waterloo.; int5 & sent4 -> int6: the handwheel is not a bombast.; int6 & sent7 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the handwheel does not weed waterloo. ; $context$ = sent1: if the handwheel is inefficient and it is amniotic then it is not a kind of a doubleheader. sent2: that if the fact that the Papua is not a doubleheader is not incorrect then the handwheel is not a doubleheader and does not camp personification is not false. sent3: something is not a doubleheader if the fact that it is inefficient or it is not amniotic or both is false. sent4: the handwheel is not a kind of a bombast if it corners Papua and it does weed waterloo. sent5: that the Papua either is inefficient or is not amniotic or both does not hold. sent6: the handwheel does corner Papua if it is not a doubleheader and does not camp personification. sent7: the handwheel is a bombast. ; $proof$ = 
sent3 -> int1: the Papua is not a doubleheader if that it is either inefficient or not amniotic or both is incorrect.; int1 & sent5 -> int2: the Papua is not a doubleheader.; int2 & sent2 -> int3: the fact that the handwheel is not a kind of a doubleheader and it does not camp personification hold.; int3 & sent6 -> int4: the handwheel corners Papua.; void -> assump1: Let's assume that the handwheel does weed waterloo.; int4 & assump1 -> int5: the handwheel does corner Papua and it does weed waterloo.; int5 & sent4 -> int6: the handwheel is not a bombast.; int6 & sent7 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__