the restarting Chorizema does not occur.
sent1: the including hydrate does not occur. sent2: the bewaring does not occur. sent3: if the restarting Chorizema does not occur the fact that either the hardening sabicu happens or the postganglionicness happens or both is incorrect. sent4: if the restarting Chorizema does not occur then the hardening sabicu does not occur. sent5: the eddying does not occur if that the runaway and/or the meeting happens does not hold. sent6: the tragicness does not occur if the fact that the hardening sabicu or the postganglionicness or both happens does not hold. sent7: the hardening sabicu does not occur. sent8: that the tragicness occurs and the protestation occurs is caused by that the bewaring does not occur.
void -> assump1: Let's assume that the restarting Chorizema does not occur.; sent3 & assump1 -> int1: the fact that the hardening sabicu happens and/or the postganglionicness happens does not hold.; int1 & sent6 -> int2: that the tragicness does not occur is not incorrect.; sent8 & sent2 -> int3: the tragicness occurs and the protestation happens.; int3 -> int4: the tragicness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the restarting Chorizema does not occur. ; $context$ = sent1: the including hydrate does not occur. sent2: the bewaring does not occur. sent3: if the restarting Chorizema does not occur the fact that either the hardening sabicu happens or the postganglionicness happens or both is incorrect. sent4: if the restarting Chorizema does not occur then the hardening sabicu does not occur. sent5: the eddying does not occur if that the runaway and/or the meeting happens does not hold. sent6: the tragicness does not occur if the fact that the hardening sabicu or the postganglionicness or both happens does not hold. sent7: the hardening sabicu does not occur. sent8: that the tragicness occurs and the protestation occurs is caused by that the bewaring does not occur. ; $proof$ = 
void -> assump1: Let's assume that the restarting Chorizema does not occur.; sent3 & assump1 -> int1: the fact that the hardening sabicu happens and/or the postganglionicness happens does not hold.; int1 & sent6 -> int2: that the tragicness does not occur is not incorrect.; sent8 & sent2 -> int3: the tragicness occurs and the protestation happens.; int3 -> int4: the tragicness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__