that the fumbling keratinization does not occur if the dilation occurs is not true.
sent1: the distilling happens. sent2: that both the distilling and the fumbling keratinization happens brings about that the dilation does not occur.
void -> assump1: Let's assume that the dilation happens.; void -> assump2: Let's assume that the fumbling keratinization happens.; sent1 & assump2 -> int1: both the distilling and the fumbling keratinization happens.; sent2 & int1 -> int2: the dilation does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fumbling keratinization does not occur.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the fumbling keratinization does not occur if the dilation occurs is not true. ; $context$ = sent1: the distilling happens. sent2: that both the distilling and the fumbling keratinization happens brings about that the dilation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the dilation happens.; void -> assump2: Let's assume that the fumbling keratinization happens.; sent1 & assump2 -> int1: both the distilling and the fumbling keratinization happens.; sent2 & int1 -> int2: the dilation does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fumbling keratinization does not occur.; [assump1] & int4 -> hypothesis; __DISPROVED__