the punicness does not occur.
sent1: the illicitness does not occur. sent2: both the unshockableness and the nonappearance happens. sent3: the compromising pair is prevented by that both the wanting and the non-provincialness occurs. sent4: that both the keratoscopy and the non-caudateness happens is caused by the unshockableness. sent5: the unction is prevented by the fact that that the keratoscopy occurs and the sculling does not occur is right. sent6: that the preventableness but not the ambushing NIDDM happens prevents that the sculling occurs. sent7: if that that the preventableness but not the ambushing NIDDM happens is wrong is right the nonsignificantness does not occur. sent8: that the punicness does not occur but the work-in happens is brought about by that the unction does not occur.
void -> assump1: Let's assume that the fact that the preventableness happens and the ambushing NIDDM does not occur does not hold.; sent7 & assump1 -> int1: the nonsignificantness does not occur.; sent2 -> int2: the fact that the unshockableness occurs is true.; sent4 & int2 -> int3: both the keratoscopy and the non-caudateness occurs.; int3 -> int4: the keratoscopy happens.;
$hypothesis$ = the punicness does not occur. ; $context$ = sent1: the illicitness does not occur. sent2: both the unshockableness and the nonappearance happens. sent3: the compromising pair is prevented by that both the wanting and the non-provincialness occurs. sent4: that both the keratoscopy and the non-caudateness happens is caused by the unshockableness. sent5: the unction is prevented by the fact that that the keratoscopy occurs and the sculling does not occur is right. sent6: that the preventableness but not the ambushing NIDDM happens prevents that the sculling occurs. sent7: if that that the preventableness but not the ambushing NIDDM happens is wrong is right the nonsignificantness does not occur. sent8: that the punicness does not occur but the work-in happens is brought about by that the unction does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the preventableness happens and the ambushing NIDDM does not occur does not hold.; sent7 & assump1 -> int1: the nonsignificantness does not occur.; sent2 -> int2: the fact that the unshockableness occurs is true.; sent4 & int2 -> int3: both the keratoscopy and the non-caudateness occurs.; int3 -> int4: the keratoscopy happens.; __UNKNOWN__