the hypnotizing codger results in that the recount does not occur.
sent1: if the inspection happens or the hypnotizing codger happens or both then the choralness does not occur. sent2: that the dilation does not occur and the dehiscentness occurs is triggered by that the choralness does not occur. sent3: the inspection occurs.
void -> assump1: Let's assume that the hypnotizing codger happens.; assump1 -> int1: the inspection occurs or the hypnotizing codger happens or both.; sent1 & int1 -> int2: the choralness does not occur.; sent2 & int2 -> int3: not the dilation but the dehiscentness occurs.;
$hypothesis$ = the hypnotizing codger results in that the recount does not occur. ; $context$ = sent1: if the inspection happens or the hypnotizing codger happens or both then the choralness does not occur. sent2: that the dilation does not occur and the dehiscentness occurs is triggered by that the choralness does not occur. sent3: the inspection occurs. ; $proof$ = 
void -> assump1: Let's assume that the hypnotizing codger happens.; assump1 -> int1: the inspection occurs or the hypnotizing codger happens or both.; sent1 & int1 -> int2: the choralness does not occur.; sent2 & int2 -> int3: not the dilation but the dehiscentness occurs.; __UNKNOWN__