the fact that that the colostomy does not occur leads to that the example occurs and the convertible occurs is wrong.
sent1: the example occurs and the radial-pliness happens. sent2: the colostomy happens or the pigmenting personalty does not occur or both. sent3: that the colostomy does not occur or the pigmenting personalty does not occur or both results in that the convertible occurs. sent4: the colostomy does not occur and the incandescence does not occur if the pigmenting personalty occurs. sent5: the pigmenting Thiosulfil occurs and the creak happens if the decriminalization occurs.
void -> assump1: Let's assume that the colostomy does not occur.; assump1 -> int1: either the colostomy does not occur or the pigmenting personalty does not occur or both.; int1 & sent3 -> int2: that the convertibleness happens is true.; sent1 -> int3: the example occurs.; int2 & int3 -> int4: both the example and the convertible happens.; [assump1] & int4 -> hypothesis;
the incandescence does not occur.
$hypothesis$ = the fact that that the colostomy does not occur leads to that the example occurs and the convertible occurs is wrong. ; $context$ = sent1: the example occurs and the radial-pliness happens. sent2: the colostomy happens or the pigmenting personalty does not occur or both. sent3: that the colostomy does not occur or the pigmenting personalty does not occur or both results in that the convertible occurs. sent4: the colostomy does not occur and the incandescence does not occur if the pigmenting personalty occurs. sent5: the pigmenting Thiosulfil occurs and the creak happens if the decriminalization occurs. ; $proof$ = 
void -> assump1: Let's assume that the colostomy does not occur.; assump1 -> int1: either the colostomy does not occur or the pigmenting personalty does not occur or both.; int1 & sent3 -> int2: that the convertibleness happens is true.; sent1 -> int3: the example occurs.; int2 & int3 -> int4: both the example and the convertible happens.; [assump1] & int4 -> hypothesis; __DISPROVED__