if the Albanian does not occur the non-illegibleness and the contingency occurs.
sent1: not the narrating Maxim but the restitution happens. sent2: the contingency and the narrating Kuomintang occurs if that the Ionicness does not occur is true. sent3: the dissolution occurs. sent4: the fact that either the inscription does not occur or the honking occurs or both is not correct if the recurring occurs. sent5: the narrating Kuomintang occurs. sent6: if the variegation happens the cutinizing southernness does not occur. sent7: not the narrating phenomenon but the dissociating happens. sent8: that the facelift does not occur or the landmark happens or both is not right. sent9: if not the narrating Maxim but the restitution occurs the fact that the Ionicness does not occur is true. sent10: the inscription does not occur if the dichromaticness happens or the exauguralness happens or both. sent11: the recurring occurs.
void -> assump1: Let's assume that the exauguralness happens.; assump1 -> int1: the dichromaticness and/or the exauguralness occurs.; int1 & sent10 -> int2: the inscription does not occur.; int2 -> int3: either the inscription does not occur or the honking occurs or both.; sent4 & sent11 -> int4: the fact that the inscription does not occur or the honking occurs or both does not hold.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the exauguralness does not occur.; void -> assump2: Let's assume that the Albanian does not occur.; int6 & assump2 -> int7: the Albanianness does not occur and the exauguralness does not occur.; sent9 & sent1 -> int8: the Ionicness does not occur.; sent2 & int8 -> int9: the contingency and the narrating Kuomintang happens.; int9 -> int10: the contingency happens.;
$hypothesis$ = if the Albanian does not occur the non-illegibleness and the contingency occurs. ; $context$ = sent1: not the narrating Maxim but the restitution happens. sent2: the contingency and the narrating Kuomintang occurs if that the Ionicness does not occur is true. sent3: the dissolution occurs. sent4: the fact that either the inscription does not occur or the honking occurs or both is not correct if the recurring occurs. sent5: the narrating Kuomintang occurs. sent6: if the variegation happens the cutinizing southernness does not occur. sent7: not the narrating phenomenon but the dissociating happens. sent8: that the facelift does not occur or the landmark happens or both is not right. sent9: if not the narrating Maxim but the restitution occurs the fact that the Ionicness does not occur is true. sent10: the inscription does not occur if the dichromaticness happens or the exauguralness happens or both. sent11: the recurring occurs. ; $proof$ = 
void -> assump1: Let's assume that the exauguralness happens.; assump1 -> int1: the dichromaticness and/or the exauguralness occurs.; int1 & sent10 -> int2: the inscription does not occur.; int2 -> int3: either the inscription does not occur or the honking occurs or both.; sent4 & sent11 -> int4: the fact that the inscription does not occur or the honking occurs or both does not hold.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the exauguralness does not occur.; void -> assump2: Let's assume that the Albanian does not occur.; int6 & assump2 -> int7: the Albanianness does not occur and the exauguralness does not occur.; sent9 & sent1 -> int8: the Ionicness does not occur.; sent2 & int8 -> int9: the contingency and the narrating Kuomintang happens.; int9 -> int10: the contingency happens.; __UNKNOWN__