the fact that the blowfish is a nutmeg-yew is not false.
sent1: if something does not revenge Hercules'-club then it is not influential. sent2: something is not influential if it does not revenge looking. sent3: if the fact that the toilet is either not influential or not a looking or both is not true then it is a curvet. sent4: if the shanny is not a curvet that either the white is a equilibration or it is not a looking or both does not hold. sent5: if the shanny is a kind of a pajama then the toilet is influential. sent6: there is something such that it does not revenge Hercules'-club. sent7: the toilet does not revenge Hercules'-club and/or it does not revenge looking if there is something such that it does not revenge Hercules'-club. sent8: something settles ND if the fact that it is a equilibration and/or it is not a kind of a looking is not true. sent9: if the shanny does curvet then it is a pajama. sent10: if the white settles ND then the blowfish is a kind of a nutmeg-yew.
void -> assump1: Let's assume that the shanny is a kind of a curvet.; sent9 & assump1 -> int1: the shanny is a pajama.; int1 & sent5 -> int2: the toilet is influential.; sent6 & sent7 -> int3: either the toilet does not revenge Hercules'-club or it does not revenge looking or both.; sent1 -> int4: if the toilet does not revenge Hercules'-club then it is not influential.; sent2 -> int5: the toilet is not influential if it does not revenge looking.; int3 & int4 & int5 -> int6: the fact that the toilet is not influential is not incorrect.; int2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the shanny is not a curvet is correct.; int8 & sent4 -> int9: that the white is a equilibration and/or it does not look is not right.; sent8 -> int10: the white does settle ND if the fact that it is a kind of a equilibration and/or it is not a looking is incorrect.; int9 & int10 -> int11: that the white settles ND hold.; int11 & sent10 -> hypothesis;
the blowfish is not a kind of a nutmeg-yew.
$hypothesis$ = the fact that the blowfish is a nutmeg-yew is not false. ; $context$ = sent1: if something does not revenge Hercules'-club then it is not influential. sent2: something is not influential if it does not revenge looking. sent3: if the fact that the toilet is either not influential or not a looking or both is not true then it is a curvet. sent4: if the shanny is not a curvet that either the white is a equilibration or it is not a looking or both does not hold. sent5: if the shanny is a kind of a pajama then the toilet is influential. sent6: there is something such that it does not revenge Hercules'-club. sent7: the toilet does not revenge Hercules'-club and/or it does not revenge looking if there is something such that it does not revenge Hercules'-club. sent8: something settles ND if the fact that it is a equilibration and/or it is not a kind of a looking is not true. sent9: if the shanny does curvet then it is a pajama. sent10: if the white settles ND then the blowfish is a kind of a nutmeg-yew. ; $proof$ = 
void -> assump1: Let's assume that the shanny is a kind of a curvet.; sent9 & assump1 -> int1: the shanny is a pajama.; int1 & sent5 -> int2: the toilet is influential.; sent6 & sent7 -> int3: either the toilet does not revenge Hercules'-club or it does not revenge looking or both.; sent1 -> int4: if the toilet does not revenge Hercules'-club then it is not influential.; sent2 -> int5: the toilet is not influential if it does not revenge looking.; int3 & int4 & int5 -> int6: the fact that the toilet is not influential is not incorrect.; int2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the shanny is not a curvet is correct.; int8 & sent4 -> int9: that the white is a equilibration and/or it does not look is not right.; sent8 -> int10: the white does settle ND if the fact that it is a kind of a equilibration and/or it is not a looking is incorrect.; int9 & int10 -> int11: that the white settles ND hold.; int11 & sent10 -> hypothesis; __PROVED__