if the hypodermalness happens then the Kenyan does not occur.
sent1: the justification happens. sent2: if the overwork occurs the postictalness happens. sent3: the speakership does not occur if the spanking occurs. sent4: that the defalcation happens causes the non-eyelessness. sent5: if the decolonizing geostrategy happens the manipulation does not occur. sent6: the fact that the slalom happens hold. sent7: that the pentathlon does not occur is not wrong if the trephining occurs. sent8: the fact that the thalassicness occurs is right if the unwovenness happens. sent9: if the Kenyan happens the hypodermalness occurs. sent10: if the slaloming happens then the cat happens. sent11: the mesomorphicness does not occur if the introversiveness occurs.
void -> assump2: Let's assume that the Kenyan occurs.;
$hypothesis$ = if the hypodermalness happens then the Kenyan does not occur. ; $context$ = sent1: the justification happens. sent2: if the overwork occurs the postictalness happens. sent3: the speakership does not occur if the spanking occurs. sent4: that the defalcation happens causes the non-eyelessness. sent5: if the decolonizing geostrategy happens the manipulation does not occur. sent6: the fact that the slalom happens hold. sent7: that the pentathlon does not occur is not wrong if the trephining occurs. sent8: the fact that the thalassicness occurs is right if the unwovenness happens. sent9: if the Kenyan happens the hypodermalness occurs. sent10: if the slaloming happens then the cat happens. sent11: the mesomorphicness does not occur if the introversiveness occurs. ; $proof$ = 
void -> assump2: Let's assume that the Kenyan occurs.; __UNKNOWN__