not the clocking dory but the begging occurs.
sent1: the fact that if the location happens the fact that the fact that the clocking dory does not occur and the begging happens hold is not correct is not incorrect. sent2: not the location but the ambassadorship happens. sent3: that the ambassadorship does not occur and the barometricness does not occur brings about the location. sent4: if that not the clocking dory but the begging occurs is not correct then the ambassadorship does not occur.
void -> assump1: Let's assume that the fact that the clocking dory does not occur and the begging happens does not hold.; sent4 & assump1 -> int1: the ambassadorship does not occur.; sent2 -> int2: the ambassadorship happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
that not the clocking dory but the begging happens is false.
$hypothesis$ = not the clocking dory but the begging occurs. ; $context$ = sent1: the fact that if the location happens the fact that the fact that the clocking dory does not occur and the begging happens hold is not correct is not incorrect. sent2: not the location but the ambassadorship happens. sent3: that the ambassadorship does not occur and the barometricness does not occur brings about the location. sent4: if that not the clocking dory but the begging occurs is not correct then the ambassadorship does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the clocking dory does not occur and the begging happens does not hold.; sent4 & assump1 -> int1: the ambassadorship does not occur.; sent2 -> int2: the ambassadorship happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__