the octalness does not occur.
sent1: that the wipeout does not occur is caused by the governorship or that the deactivating alarmed does not occur or both. sent2: if the octalness occurs the melee occurs. sent3: the tolerableness occurs. sent4: that the armament occurs is right. sent5: if that the melee and the armament happens is not wrong then the cascading sauceboat does not occur. sent6: the melee happens and the octalness happens if the armament does not occur. sent7: if the wipeout occurs then that the cascading sauceboat happens hold. sent8: that the wipeout happens is not incorrect.
void -> assump1: Let's assume that the octalness occurs.; sent2 & assump1 -> int1: the melee occurs.; int1 & sent4 -> int2: both the melee and the armament happens.; int2 & sent5 -> int3: the cascading sauceboat does not occur.; sent7 & sent8 -> int4: the cascading sauceboat happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the octalness happens.
$hypothesis$ = the octalness does not occur. ; $context$ = sent1: that the wipeout does not occur is caused by the governorship or that the deactivating alarmed does not occur or both. sent2: if the octalness occurs the melee occurs. sent3: the tolerableness occurs. sent4: that the armament occurs is right. sent5: if that the melee and the armament happens is not wrong then the cascading sauceboat does not occur. sent6: the melee happens and the octalness happens if the armament does not occur. sent7: if the wipeout occurs then that the cascading sauceboat happens hold. sent8: that the wipeout happens is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the octalness occurs.; sent2 & assump1 -> int1: the melee occurs.; int1 & sent4 -> int2: both the melee and the armament happens.; int2 & sent5 -> int3: the cascading sauceboat does not occur.; sent7 & sent8 -> int4: the cascading sauceboat happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__