the fact that if the unhealthfulness does not occur the communicating charitableness does not occur is incorrect.
sent1: the communicating charitableness occurs if the unhealthfulness does not occur. sent2: the ethnocentricness does not occur. sent3: the communicating Haitian does not occur. sent4: the splaying Scirpus does not occur if that either the unhealthfulness occurs or the communicating charitableness happens or both does not hold. sent5: if the communicating mumbling happens then the fact that the disobedientness does not occur hold. sent6: the deregulation does not occur if the spraying chasteness does not occur. sent7: the fact that the unpleasantness happens is correct. sent8: that the communicating digitization happens is brought about by that the detribalization occurs. sent9: the splaying cloudberry happens. sent10: the bathyalness happens if the Requiem occurs. sent11: that the unhealthfulness and/or the communicating charitableness occurs is not true if the scorbuticness does not occur. sent12: if the gonadotropicness does not occur then the communicating participation occurs. sent13: if the flagellate does not occur then the thoracotomy happens. sent14: if the communicating charitableness occurs the unhealthfulness occurs. sent15: the efferentness happens. sent16: the success happens.
void -> assump1: Let's assume that the communicating charitableness occurs.; sent14 & assump1 -> int1: the unhealthfulness happens.; void -> assump2: Let's assume that that the unhealthfulness does not occur is not false.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the communicating charitableness does not occur.; [assump2] & int3 -> hypothesis;
the splaying Scirpus does not occur.
$hypothesis$ = the fact that if the unhealthfulness does not occur the communicating charitableness does not occur is incorrect. ; $context$ = sent1: the communicating charitableness occurs if the unhealthfulness does not occur. sent2: the ethnocentricness does not occur. sent3: the communicating Haitian does not occur. sent4: the splaying Scirpus does not occur if that either the unhealthfulness occurs or the communicating charitableness happens or both does not hold. sent5: if the communicating mumbling happens then the fact that the disobedientness does not occur hold. sent6: the deregulation does not occur if the spraying chasteness does not occur. sent7: the fact that the unpleasantness happens is correct. sent8: that the communicating digitization happens is brought about by that the detribalization occurs. sent9: the splaying cloudberry happens. sent10: the bathyalness happens if the Requiem occurs. sent11: that the unhealthfulness and/or the communicating charitableness occurs is not true if the scorbuticness does not occur. sent12: if the gonadotropicness does not occur then the communicating participation occurs. sent13: if the flagellate does not occur then the thoracotomy happens. sent14: if the communicating charitableness occurs the unhealthfulness occurs. sent15: the efferentness happens. sent16: the success happens. ; $proof$ = 
void -> assump1: Let's assume that the communicating charitableness occurs.; sent14 & assump1 -> int1: the unhealthfulness happens.; void -> assump2: Let's assume that that the unhealthfulness does not occur is not false.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the communicating charitableness does not occur.; [assump2] & int3 -> hypothesis; __DISPROVED__