that if the pro happens then either the folding toleration occurs or the aftershock does not occur or both is not true.
sent1: if the fact that the aftershock occurs is not wrong then the culturing happens. sent2: if the culturing occurs and the pro happens the appellativeness does not occur. sent3: that the determinableness does not occur is not incorrect. sent4: that the determinableness does not occur results in that the appellativeness happens but the randomization does not occur.
void -> assump1: Let's assume that the fact that the aftershock occurs is not false.; sent1 & assump1 -> int1: the culturing occurs.; void -> assump2: Let's assume that the proness happens.; int1 & assump2 -> int2: the culture and the pro happens.; int2 & sent2 -> int3: the appellativeness does not occur.; sent4 & sent3 -> int4: the appellativeness occurs but the randomization does not occur.; int4 -> int5: the fact that the appellativeness occurs is true.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the aftershock does not occur.; int7 -> int8: that either the folding toleration happens or the aftershock does not occur or both hold.; [assump2] & int8 -> hypothesis;
$hypothesis$ = that if the pro happens then either the folding toleration occurs or the aftershock does not occur or both is not true. ; $context$ = sent1: if the fact that the aftershock occurs is not wrong then the culturing happens. sent2: if the culturing occurs and the pro happens the appellativeness does not occur. sent3: that the determinableness does not occur is not incorrect. sent4: that the determinableness does not occur results in that the appellativeness happens but the randomization does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the aftershock occurs is not false.; sent1 & assump1 -> int1: the culturing occurs.; void -> assump2: Let's assume that the proness happens.; int1 & assump2 -> int2: the culture and the pro happens.; int2 & sent2 -> int3: the appellativeness does not occur.; sent4 & sent3 -> int4: the appellativeness occurs but the randomization does not occur.; int4 -> int5: the fact that the appellativeness occurs is true.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the aftershock does not occur.; int7 -> int8: that either the folding toleration happens or the aftershock does not occur or both hold.; [assump2] & int8 -> hypothesis; __DISPROVED__