the schism occurs if the tonicness happens.
sent1: that the tonic occurs is prevented by that the schism does not occur. sent2: the tonicness does not occur if the schism happens. sent3: the non-nephriticness yields that both the landing Google and the gorging plugged occurs. sent4: the vulcanizing happens if the fact that that not the tonic but the schism happens is not wrong is wrong. sent5: the fact that the nephriticness but not the assembling curettage happens is incorrect if the generationalness does not occur. sent6: the nephriticness does not occur if the fact that the nephriticness occurs and the assembling curettage does not occur is not true. sent7: if the schism does not occur then the tonicness happens. sent8: the lighted occurs. sent9: if the landing Google happens the fact that both the non-tonicness and the schism occurs is not correct.
void -> assump1: Let's assume that the schism does not occur.; sent1 & assump1 -> int1: the tonic does not occur.; void -> assump2: Let's assume that the tonicness happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the schism occurs.; [assump2] & int3 -> hypothesis;
the vulcanizing occurs.
$hypothesis$ = the schism occurs if the tonicness happens. ; $context$ = sent1: that the tonic occurs is prevented by that the schism does not occur. sent2: the tonicness does not occur if the schism happens. sent3: the non-nephriticness yields that both the landing Google and the gorging plugged occurs. sent4: the vulcanizing happens if the fact that that not the tonic but the schism happens is not wrong is wrong. sent5: the fact that the nephriticness but not the assembling curettage happens is incorrect if the generationalness does not occur. sent6: the nephriticness does not occur if the fact that the nephriticness occurs and the assembling curettage does not occur is not true. sent7: if the schism does not occur then the tonicness happens. sent8: the lighted occurs. sent9: if the landing Google happens the fact that both the non-tonicness and the schism occurs is not correct. ; $proof$ = 
void -> assump1: Let's assume that the schism does not occur.; sent1 & assump1 -> int1: the tonic does not occur.; void -> assump2: Let's assume that the tonicness happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the schism occurs.; [assump2] & int3 -> hypothesis; __PROVED__