the fact that the overclouding does not occur if that the adenoidalness happens is correct is wrong.
sent1: if the overclouding and the dallying happens the adenoidalness does not occur. sent2: if the semi-tuberousness occurs and the pilferage occurs then the supporting does not occur. sent3: the correctness and the dallying occurs. sent4: the skinny-dip occurs. sent5: that the adenoidalness occurs prevents that the overclouding does not occur. sent6: the non-adenoidalness is prevented by that the overclouding happens and the dallying happens. sent7: the fact that the correctness occurs is true. sent8: the phrasing happens and the lobateness occurs.
void -> assump1: Let's assume that the adenoidalness occurs.; void -> assump2: Let's assume that the overclouding occurs.; sent3 -> int1: the dallying happens.; assump2 & int1 -> int2: the overclouding and the dallying happens.; sent1 & int2 -> int3: the adenoidalness does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the overclouding does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the overclouding does not occur if that the adenoidalness happens is correct is wrong. ; $context$ = sent1: if the overclouding and the dallying happens the adenoidalness does not occur. sent2: if the semi-tuberousness occurs and the pilferage occurs then the supporting does not occur. sent3: the correctness and the dallying occurs. sent4: the skinny-dip occurs. sent5: that the adenoidalness occurs prevents that the overclouding does not occur. sent6: the non-adenoidalness is prevented by that the overclouding happens and the dallying happens. sent7: the fact that the correctness occurs is true. sent8: the phrasing happens and the lobateness occurs. ; $proof$ = 
void -> assump1: Let's assume that the adenoidalness occurs.; void -> assump2: Let's assume that the overclouding occurs.; sent3 -> int1: the dallying happens.; assump2 & int1 -> int2: the overclouding and the dallying happens.; sent1 & int2 -> int3: the adenoidalness does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the overclouding does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__