if the landler happens the scaling lowland does not occur.
sent1: the hymeneal does not occur. sent2: the lapping shrink-wrap happens. sent3: if the nascentness occurs and/or the scaling guenon does not occur that the Aramean happens is not wrong. sent4: if both the Wave and the mid-off happens the unfavorableness does not occur. sent5: both the scaling guenon and the non-nascentness occurs. sent6: the nascentness does not occur. sent7: either the scaling lowland or that the landler does not occur or both brings about that the grouping does not occur. sent8: the scaling lowland happens if the landler happens. sent9: the scaling Tangier occurs.
void -> assump2: Let's assume that the landler occurs.; void -> assump1: Let's assume that the fact that the scaling lowland occurs is not wrong.; assump2 & assump1 -> int1: the landler occurs and the scaling lowland happens.; sent5 -> int2: the scaling guenon happens.;
the fact that the grouping does not occur is not wrong.
$hypothesis$ = if the landler happens the scaling lowland does not occur. ; $context$ = sent1: the hymeneal does not occur. sent2: the lapping shrink-wrap happens. sent3: if the nascentness occurs and/or the scaling guenon does not occur that the Aramean happens is not wrong. sent4: if both the Wave and the mid-off happens the unfavorableness does not occur. sent5: both the scaling guenon and the non-nascentness occurs. sent6: the nascentness does not occur. sent7: either the scaling lowland or that the landler does not occur or both brings about that the grouping does not occur. sent8: the scaling lowland happens if the landler happens. sent9: the scaling Tangier occurs. ; $proof$ = 
void -> assump2: Let's assume that the landler occurs.; void -> assump1: Let's assume that the fact that the scaling lowland occurs is not wrong.; assump2 & assump1 -> int1: the landler occurs and the scaling lowland happens.; sent5 -> int2: the scaling guenon happens.; __UNKNOWN__