that the directorship happens triggers that the tamping settee happens and/or that the booking does not occur.
sent1: the fact that either the non-moneranness or the non-apetalousness or both happens is not true if the Welshness happens. sent2: the tamping settee and/or the booking happens. sent3: if the fact that the tamping settee occurs or the booking does not occur or both does not hold the Welsh occurs. sent4: the directorship does not occur if the fact that the moneran does not occur and/or the apetalousness does not occur is not true.
void -> assump1: Let's assume that the directorship occurs.; void -> assump2: Let's assume that that the tamping settee happens and/or the booking does not occur is not true.; sent3 & assump2 -> int1: the Welshness happens.; sent1 & int1 -> int2: that either the non-moneranness or the non-apetalousness or both occurs does not hold.; sent4 & int2 -> int3: the directorship does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the tamping settee happens or the booking does not occur or both.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the directorship happens triggers that the tamping settee happens and/or that the booking does not occur. ; $context$ = sent1: the fact that either the non-moneranness or the non-apetalousness or both happens is not true if the Welshness happens. sent2: the tamping settee and/or the booking happens. sent3: if the fact that the tamping settee occurs or the booking does not occur or both does not hold the Welsh occurs. sent4: the directorship does not occur if the fact that the moneran does not occur and/or the apetalousness does not occur is not true. ; $proof$ = 
void -> assump1: Let's assume that the directorship occurs.; void -> assump2: Let's assume that that the tamping settee happens and/or the booking does not occur is not true.; sent3 & assump2 -> int1: the Welshness happens.; sent1 & int1 -> int2: that either the non-moneranness or the non-apetalousness or both occurs does not hold.; sent4 & int2 -> int3: the directorship does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the tamping settee happens or the booking does not occur or both.; [assump1] & int5 -> hypothesis; __PROVED__