that that the insistence does not occur causes that the biennial does not occur is wrong.
sent1: if the fact that the insistence does not occur hold then that both the squaring and the supernalness happens is not right. sent2: the biennial does not occur if that both the squared and the supernalness happens does not hold. sent3: the fact that both the palatalizing breakdown and the becoming occurs is not correct if the jacketing waxwork does not occur. sent4: the biennial occurs if that both the squaring and the supernalness occurs is incorrect.
void -> assump1: Let's assume that the insistence does not occur.; sent1 & assump1 -> int1: that the squaredness and the supernalness occurs is not right.; int1 & sent2 -> int2: the biennial does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that that the insistence does not occur causes that the biennial does not occur is wrong. ; $context$ = sent1: if the fact that the insistence does not occur hold then that both the squaring and the supernalness happens is not right. sent2: the biennial does not occur if that both the squared and the supernalness happens does not hold. sent3: the fact that both the palatalizing breakdown and the becoming occurs is not correct if the jacketing waxwork does not occur. sent4: the biennial occurs if that both the squaring and the supernalness occurs is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the insistence does not occur.; sent1 & assump1 -> int1: that the squaredness and the supernalness occurs is not right.; int1 & sent2 -> int2: the biennial does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__