the aligning does not occur if the fact that the boom happens is not incorrect.
sent1: the interception and the electrocautery happens. sent2: the depletion happens. sent3: the aligning happens if the booming occurs. sent4: that the anopheline and the sheering hygrophyte occurs yields that the maternalism does not occur. sent5: the restfulness occurs. sent6: the drawing great-uncle happens and the endgame occurs. sent7: the reflectorizing Calymmatobacterium happens. sent8: that both the booming and the aligning happens prevents the comforting decompression.
void -> assump2: Let's assume that the boom occurs.; void -> assump1: Let's assume that the aligning happens.; assump2 & assump1 -> int1: the booming occurs and the aligning happens.; int1 & sent8 -> int2: the comforting decompression does not occur.;
$hypothesis$ = the aligning does not occur if the fact that the boom happens is not incorrect. ; $context$ = sent1: the interception and the electrocautery happens. sent2: the depletion happens. sent3: the aligning happens if the booming occurs. sent4: that the anopheline and the sheering hygrophyte occurs yields that the maternalism does not occur. sent5: the restfulness occurs. sent6: the drawing great-uncle happens and the endgame occurs. sent7: the reflectorizing Calymmatobacterium happens. sent8: that both the booming and the aligning happens prevents the comforting decompression. ; $proof$ = 
void -> assump2: Let's assume that the boom occurs.; void -> assump1: Let's assume that the aligning happens.; assump2 & assump1 -> int1: the booming occurs and the aligning happens.; int1 & sent8 -> int2: the comforting decompression does not occur.; __UNKNOWN__