if the Kenyan does not occur the overturning damask occurs and the overturning teju occurs.
sent1: the typology happens. sent2: the barbarizing idol happens. sent3: both the Kenyan and the whiteness occurs if the overturning teju does not occur. sent4: the indexlessness does not occur. sent5: the fact that the confabulating and the non-biomedicalness occurs is not right. sent6: if the Kenyan occurs then the overturning damask happens and the overturning teju happens. sent7: that both the expedientness and the grouping Maupassant occurs does not hold. sent8: the temperateness happens. sent9: the dueness occurs but the skincare does not occur. sent10: that the barbarizing Helena does not occur leads to the overturning chilling. sent11: that the higherness occurs but the sociolinguisticness does not occur is false. sent12: the fact that the partisan but not the Kenyanness occurs is not right.
void -> assump2: Let's assume that the partisan occurs.; void -> assump1: Let's assume that the Kenyanness does not occur.; assump2 & assump1 -> int1: the partisan and the non-Kenyanness occurs.; int1 & sent12 -> int2: this is contradiction.; [assump2] & int2 -> int3: the partisan does not occur.;
the white occurs and the Bahainess happens.
$hypothesis$ = if the Kenyan does not occur the overturning damask occurs and the overturning teju occurs. ; $context$ = sent1: the typology happens. sent2: the barbarizing idol happens. sent3: both the Kenyan and the whiteness occurs if the overturning teju does not occur. sent4: the indexlessness does not occur. sent5: the fact that the confabulating and the non-biomedicalness occurs is not right. sent6: if the Kenyan occurs then the overturning damask happens and the overturning teju happens. sent7: that both the expedientness and the grouping Maupassant occurs does not hold. sent8: the temperateness happens. sent9: the dueness occurs but the skincare does not occur. sent10: that the barbarizing Helena does not occur leads to the overturning chilling. sent11: that the higherness occurs but the sociolinguisticness does not occur is false. sent12: the fact that the partisan but not the Kenyanness occurs is not right. ; $proof$ = 
void -> assump2: Let's assume that the partisan occurs.; void -> assump1: Let's assume that the Kenyanness does not occur.; assump2 & assump1 -> int1: the partisan and the non-Kenyanness occurs.; int1 & sent12 -> int2: this is contradiction.; [assump2] & int2 -> int3: the partisan does not occur.; __UNKNOWN__