the fact that the achromatizing peat does not occur and the nourishment does not occur is not true if the wresting tribadism happens.
sent1: the fact that the achromatizing peat but not the nourishment happens does not hold if the wresting tribadism occurs. sent2: if the gating honk does not occur then the wresting tribadism occurs. sent3: if the wresting tribadism occurs then the achromatizing peat does not occur and the nourishment does not occur. sent4: that the achromatizing peat does not occur and the nourishment does not occur yields that the gating honk does not occur. sent5: the achromatizing peat does not occur. sent6: the wresting tribadism does not occur if the gating honk does not occur. sent7: that the achromatizing peat but not the nourishment occurs triggers that the gating honk does not occur.
void -> assump1: Let's assume that the wresting tribadism occurs.; void -> assump2: Let's assume that the achromatizing peat does not occur and the nourishment does not occur.; sent4 & assump2 -> int1: the gating honk does not occur.; sent6 & int1 -> int2: the wresting tribadism does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the achromatizing peat does not occur and the nourishment does not occur is not right.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that the achromatizing peat does not occur and the nourishment does not occur is not true if the wresting tribadism happens. ; $context$ = sent1: the fact that the achromatizing peat but not the nourishment happens does not hold if the wresting tribadism occurs. sent2: if the gating honk does not occur then the wresting tribadism occurs. sent3: if the wresting tribadism occurs then the achromatizing peat does not occur and the nourishment does not occur. sent4: that the achromatizing peat does not occur and the nourishment does not occur yields that the gating honk does not occur. sent5: the achromatizing peat does not occur. sent6: the wresting tribadism does not occur if the gating honk does not occur. sent7: that the achromatizing peat but not the nourishment occurs triggers that the gating honk does not occur. ; $proof$ = 
void -> assump1: Let's assume that the wresting tribadism occurs.; void -> assump2: Let's assume that the achromatizing peat does not occur and the nourishment does not occur.; sent4 & assump2 -> int1: the gating honk does not occur.; sent6 & int1 -> int2: the wresting tribadism does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the achromatizing peat does not occur and the nourishment does not occur is not right.; [assump1] & int4 -> hypothesis; __PROVED__