the fact that that the biliariness does not occur is caused by the thrombosing jute does not hold.
sent1: if the fact that the coccalness does not occur is not incorrect then the blindness does not occur. sent2: that the thrombosing jute does not occur is caused by that the coccalness and/or the biliariness happens. sent3: if the fact that the crimp does not occur is not wrong then either the thrombosing jute occurs or the biliariness occurs or both.
void -> assump1: Let's assume that the biliariness occurs.; assump1 -> int1: the coccalness occurs and/or the biliariness occurs.; int1 & sent2 -> int2: that the thrombosing jute does not occur is correct.; void -> assump2: Let's assume that the thrombosing jute happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the biliariness does not occur.; [assump2] & int4 -> hypothesis;
that the blindness does not occur is not false.
$hypothesis$ = the fact that that the biliariness does not occur is caused by the thrombosing jute does not hold. ; $context$ = sent1: if the fact that the coccalness does not occur is not incorrect then the blindness does not occur. sent2: that the thrombosing jute does not occur is caused by that the coccalness and/or the biliariness happens. sent3: if the fact that the crimp does not occur is not wrong then either the thrombosing jute occurs or the biliariness occurs or both. ; $proof$ = 
void -> assump1: Let's assume that the biliariness occurs.; assump1 -> int1: the coccalness occurs and/or the biliariness occurs.; int1 & sent2 -> int2: that the thrombosing jute does not occur is correct.; void -> assump2: Let's assume that the thrombosing jute happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the biliariness does not occur.; [assump2] & int4 -> hypothesis; __DISPROVED__