the levorotation happens and the superiority does not occur.
sent1: the dissidence does not occur. sent2: the fact that the levorotation occurs is not false. sent3: if the pandiculation does not occur then that the hedging catfish occurs but the predicting does not occur is wrong. sent4: that the chicken happens but the gingivalness does not occur is not true. sent5: if the mediatorialness happens then the lossiness happens. sent6: if that the hedging catfish happens and the predicting does not occur is not true the lossiness does not occur. sent7: if the fact that the levorotation happens and the superiority does not occur is not right then the pandiculation does not occur. sent8: both the underwriting and the mediatorialness occurs if the dissidence does not occur.
void -> assump1: Let's assume that that the levorotation but not the superiority occurs is wrong.; sent7 & assump1 -> int1: that the pandiculation does not occur hold.; int1 & sent3 -> int2: that that the hedging catfish occurs but the predicting does not occur hold does not hold.; int2 & sent6 -> int3: the lossiness does not occur.; sent8 & sent1 -> int4: the underwriting and the mediatorialness occurs.; int4 -> int5: the mediatorialness occurs.; sent5 & int5 -> int6: the lossiness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the levorotation happens and the superiority does not occur. ; $context$ = sent1: the dissidence does not occur. sent2: the fact that the levorotation occurs is not false. sent3: if the pandiculation does not occur then that the hedging catfish occurs but the predicting does not occur is wrong. sent4: that the chicken happens but the gingivalness does not occur is not true. sent5: if the mediatorialness happens then the lossiness happens. sent6: if that the hedging catfish happens and the predicting does not occur is not true the lossiness does not occur. sent7: if the fact that the levorotation happens and the superiority does not occur is not right then the pandiculation does not occur. sent8: both the underwriting and the mediatorialness occurs if the dissidence does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the levorotation but not the superiority occurs is wrong.; sent7 & assump1 -> int1: that the pandiculation does not occur hold.; int1 & sent3 -> int2: that that the hedging catfish occurs but the predicting does not occur hold does not hold.; int2 & sent6 -> int3: the lossiness does not occur.; sent8 & sent1 -> int4: the underwriting and the mediatorialness occurs.; int4 -> int5: the mediatorialness occurs.; sent5 & int5 -> int6: the lossiness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__