that if the streptococcalness occurs the fact that the DC does not occur and the connateness does not occur does not hold is incorrect.
sent1: that that not the iteration but the ventilating apprenticeship occurs is incorrect is not wrong. sent2: that the DC does not occur and the connateness does not occur is incorrect if the banding festoon does not occur. sent3: the ventilating postposition occurs if that the iteration does not occur and the ventilating apprenticeship happens is not correct. sent4: if the streptococcalness occurs and the banding festoon happens the fact that the ventilating postposition does not occur hold.
void -> assump2: Let's assume that the streptococcalness happens.; void -> assump1: Let's assume that the banding festoon occurs.; assump2 & assump1 -> int1: both the streptococcalness and the banding festoon happens.; int1 & sent4 -> int2: the ventilating postposition does not occur.; sent3 & sent1 -> int3: the ventilating postposition occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the banding festoon does not occur hold.; int5 & sent2 -> int6: the fact that the DC does not occur and the connateness does not occur is false.; [assump2] & int6 -> hypothesis;
$hypothesis$ = that if the streptococcalness occurs the fact that the DC does not occur and the connateness does not occur does not hold is incorrect. ; $context$ = sent1: that that not the iteration but the ventilating apprenticeship occurs is incorrect is not wrong. sent2: that the DC does not occur and the connateness does not occur is incorrect if the banding festoon does not occur. sent3: the ventilating postposition occurs if that the iteration does not occur and the ventilating apprenticeship happens is not correct. sent4: if the streptococcalness occurs and the banding festoon happens the fact that the ventilating postposition does not occur hold. ; $proof$ = 
void -> assump2: Let's assume that the streptococcalness happens.; void -> assump1: Let's assume that the banding festoon occurs.; assump2 & assump1 -> int1: both the streptococcalness and the banding festoon happens.; int1 & sent4 -> int2: the ventilating postposition does not occur.; sent3 & sent1 -> int3: the ventilating postposition occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the banding festoon does not occur hold.; int5 & sent2 -> int6: the fact that the DC does not occur and the connateness does not occur is false.; [assump2] & int6 -> hypothesis; __DISPROVED__