the fact that either the grab does not occur or the moresness occurs or both does not hold.
sent1: if that the tricing snook does not occur and the grabbing does not occur does not hold the moresness does not occur. sent2: if the raising happens that the congenialness and the non-intentionalness happens is incorrect. sent3: the phonogramicness does not occur. sent4: the amelioration does not occur. sent5: that either the grabbing happens or the moresness happens or both is right. sent6: the uncongenialness does not occur. sent7: the intentionalness does not occur. sent8: either the grabbing or the moresness or both happens if the raising does not occur. sent9: the handstand does not occur. sent10: the Mexicanness does not occur. sent11: if the raising does not occur the grab does not occur and/or the moresness occurs.
void -> assump1: Let's assume that the raising happens.; sent2 & assump1 -> int1: the fact that the uncongenialness does not occur and the intentionalness does not occur is incorrect.; sent6 & sent7 -> int2: both the congenialness and the non-intentionalness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the raising does not occur.; int4 & sent11 -> hypothesis;
that the grab does not occur and/or the moresness occurs is wrong.
 -> hypothesis;
$hypothesis$ = the fact that either the grab does not occur or the moresness occurs or both does not hold. ; $context$ = sent1: if that the tricing snook does not occur and the grabbing does not occur does not hold the moresness does not occur. sent2: if the raising happens that the congenialness and the non-intentionalness happens is incorrect. sent3: the phonogramicness does not occur. sent4: the amelioration does not occur. sent5: that either the grabbing happens or the moresness happens or both is right. sent6: the uncongenialness does not occur. sent7: the intentionalness does not occur. sent8: either the grabbing or the moresness or both happens if the raising does not occur. sent9: the handstand does not occur. sent10: the Mexicanness does not occur. sent11: if the raising does not occur the grab does not occur and/or the moresness occurs. ; $proof$ = 
void -> assump1: Let's assume that the raising happens.; sent2 & assump1 -> int1: the fact that the uncongenialness does not occur and the intentionalness does not occur is incorrect.; sent6 & sent7 -> int2: both the congenialness and the non-intentionalness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the raising does not occur.; int4 & sent11 -> hypothesis; __DISPROVED__