the terror happens.
sent1: if the faithful occurs not the perennial but the terror occurs. sent2: if the terror happens then that the fact that not the inaugural but the squinch occurs does not hold is not false. sent3: the unplayfulness occurs and the reinstatement happens if the diatomicness does not occur. sent4: that not the inauguralness but the squinch occurs is triggered by that the faithful does not occur. sent5: the faithful does not occur. sent6: the posting surcoat occurs if the unplayfulness happens. sent7: the faithful occurs if the posting surcoat happens.
void -> assump1: Let's assume that the terror occurs.; sent2 & assump1 -> int1: that not the inauguralness but the squinch happens is false.; sent4 & sent5 -> int2: the inaugural does not occur and the squinch happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the perennialness does not occur.
$hypothesis$ = the terror happens. ; $context$ = sent1: if the faithful occurs not the perennial but the terror occurs. sent2: if the terror happens then that the fact that not the inaugural but the squinch occurs does not hold is not false. sent3: the unplayfulness occurs and the reinstatement happens if the diatomicness does not occur. sent4: that not the inauguralness but the squinch occurs is triggered by that the faithful does not occur. sent5: the faithful does not occur. sent6: the posting surcoat occurs if the unplayfulness happens. sent7: the faithful occurs if the posting surcoat happens. ; $proof$ = 
void -> assump1: Let's assume that the terror occurs.; sent2 & assump1 -> int1: that not the inauguralness but the squinch happens is false.; sent4 & sent5 -> int2: the inaugural does not occur and the squinch happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__