the villain does not occur.
sent1: that the Mass happens leads to that the villain does not occur and the exposure happens. sent2: the rerunning Alopecurus happens. sent3: that the Mass happens or the exposure does not occur or both is triggered by the rerunning Alopecurus. sent4: if the villain does not occur the fact that the heterocercalness does not occur and the jacking ARNG does not occur does not hold. sent5: the exposure happens if the fact that the heterocercalness does not occur and the jacking ARNG does not occur is wrong. sent6: if the Mass occurs and/or the exposure does not occur then the exposure does not occur.
void -> assump1: Let's assume that the villain does not occur.; sent4 & assump1 -> int1: that the heterocercalness does not occur and the jacking ARNG does not occur is false.; int1 & sent5 -> int2: the exposure occurs.; sent3 & sent2 -> int3: the Mass happens or the exposure does not occur or both.; sent6 & int3 -> int4: the exposure does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the villain does not occur.
$hypothesis$ = the villain does not occur. ; $context$ = sent1: that the Mass happens leads to that the villain does not occur and the exposure happens. sent2: the rerunning Alopecurus happens. sent3: that the Mass happens or the exposure does not occur or both is triggered by the rerunning Alopecurus. sent4: if the villain does not occur the fact that the heterocercalness does not occur and the jacking ARNG does not occur does not hold. sent5: the exposure happens if the fact that the heterocercalness does not occur and the jacking ARNG does not occur is wrong. sent6: if the Mass occurs and/or the exposure does not occur then the exposure does not occur. ; $proof$ = 
void -> assump1: Let's assume that the villain does not occur.; sent4 & assump1 -> int1: that the heterocercalness does not occur and the jacking ARNG does not occur is false.; int1 & sent5 -> int2: the exposure occurs.; sent3 & sent2 -> int3: the Mass happens or the exposure does not occur or both.; sent6 & int3 -> int4: the exposure does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__