that the mucinousness does not occur results in that the inedibleness occurs and the clawing Michael happens.
sent1: that the inedibleness and the clawing Michael happens is brought about by the mucinousness. sent2: if the sounding happens and the Javanese does not occur the inedibleness occurs. sent3: if the animatingness does not occur and the funambulism does not occur then the crossover does not occur. sent4: if the exulting Persia occurs the mucinousness happens. sent5: the animating does not occur and the funambulism does not occur. sent6: the clawing Michael occurs and the corroding complexity happens if the crossover does not occur.
void -> assump1: Let's assume that the exulting Persia occurs.; sent4 & assump1 -> int1: the mucinousness occurs.; void -> assump2: Let's assume that the mucinousness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the exulting Persia happens is not correct.; sent3 & sent5 -> int4: that the crossover does not occur is right.; sent6 & int4 -> int5: both the clawing Michael and the corroding complexity happens.; int5 -> int6: the clawing Michael happens.;
$hypothesis$ = that the mucinousness does not occur results in that the inedibleness occurs and the clawing Michael happens. ; $context$ = sent1: that the inedibleness and the clawing Michael happens is brought about by the mucinousness. sent2: if the sounding happens and the Javanese does not occur the inedibleness occurs. sent3: if the animatingness does not occur and the funambulism does not occur then the crossover does not occur. sent4: if the exulting Persia occurs the mucinousness happens. sent5: the animating does not occur and the funambulism does not occur. sent6: the clawing Michael occurs and the corroding complexity happens if the crossover does not occur. ; $proof$ = 
void -> assump1: Let's assume that the exulting Persia occurs.; sent4 & assump1 -> int1: the mucinousness occurs.; void -> assump2: Let's assume that the mucinousness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the exulting Persia happens is not correct.; sent3 & sent5 -> int4: that the crossover does not occur is right.; sent6 & int4 -> int5: both the clawing Michael and the corroding complexity happens.; int5 -> int6: the clawing Michael happens.; __UNKNOWN__