that the evading occurs is not wrong.
sent1: the fathomableness happens if the racquetball happens. sent2: the cleaning does not occur if the fact that that the cleaning and the non-tangentialness occurs is not false does not hold. sent3: the invoking Latrodectus happens. sent4: if the fathomableness occurs and the circumscribing happens the formula does not occur. sent5: the epilation and the non-spasticness occurs if the cleaning does not occur. sent6: that the gathering one-ten-thousandth occurs is prevented by either that the gathering transubstantiation happens or that the stalk does not occur or both. sent7: the fact that the fact that the tillage and the trying happens is not right is true if the invoking dik-dik does not occur. sent8: that the spasticness does not occur triggers that the gathering transubstantiation occurs and/or the stalk does not occur. sent9: the fact that if the fact that the invoking dik-dik occurs and the invoking Latrodectus occurs is false then the evading does not occur hold. sent10: if the invoking Lucite occurs the racquetball happens. sent11: that the invoking dik-dik occurs yields that the evading happens. sent12: if the invoking dik-dik does not occur then the fact that the tillage occurs but the trying does not occur is not right. sent13: the valedictoriness happens or the invoking Lucite happens or both. sent14: the tillage but not the trying happens if the invoking Latrodectus happens. sent15: if the formula does not occur then that both the cleaningness and the non-tangentialness happens is wrong. sent16: if the gathering one-ten-thousandth does not occur then the fact that the invoking dik-dik and the invoking Latrodectus happens is incorrect. sent17: if the stalk does not occur then the gathering one-ten-thousandth happens and the gathering transubstantiation happens. sent18: the racquetball happens if the valedictoriness occurs.
void -> assump1: Let's assume that that the invoking dik-dik happens is not correct.; sent12 & assump1 -> int1: the fact that the tillage but not the trying happens does not hold.; sent14 & sent3 -> int2: the tillage but not the trying happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the invoking dik-dik occurs.; int4 & sent11 -> hypothesis;
the temperament occurs.
$hypothesis$ = that the evading occurs is not wrong. ; $context$ = sent1: the fathomableness happens if the racquetball happens. sent2: the cleaning does not occur if the fact that that the cleaning and the non-tangentialness occurs is not false does not hold. sent3: the invoking Latrodectus happens. sent4: if the fathomableness occurs and the circumscribing happens the formula does not occur. sent5: the epilation and the non-spasticness occurs if the cleaning does not occur. sent6: that the gathering one-ten-thousandth occurs is prevented by either that the gathering transubstantiation happens or that the stalk does not occur or both. sent7: the fact that the fact that the tillage and the trying happens is not right is true if the invoking dik-dik does not occur. sent8: that the spasticness does not occur triggers that the gathering transubstantiation occurs and/or the stalk does not occur. sent9: the fact that if the fact that the invoking dik-dik occurs and the invoking Latrodectus occurs is false then the evading does not occur hold. sent10: if the invoking Lucite occurs the racquetball happens. sent11: that the invoking dik-dik occurs yields that the evading happens. sent12: if the invoking dik-dik does not occur then the fact that the tillage occurs but the trying does not occur is not right. sent13: the valedictoriness happens or the invoking Lucite happens or both. sent14: the tillage but not the trying happens if the invoking Latrodectus happens. sent15: if the formula does not occur then that both the cleaningness and the non-tangentialness happens is wrong. sent16: if the gathering one-ten-thousandth does not occur then the fact that the invoking dik-dik and the invoking Latrodectus happens is incorrect. sent17: if the stalk does not occur then the gathering one-ten-thousandth happens and the gathering transubstantiation happens. sent18: the racquetball happens if the valedictoriness occurs. ; $proof$ = 
void -> assump1: Let's assume that that the invoking dik-dik happens is not correct.; sent12 & assump1 -> int1: the fact that the tillage but not the trying happens does not hold.; sent14 & sent3 -> int2: the tillage but not the trying happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the invoking dik-dik occurs.; int4 & sent11 -> hypothesis; __PROVED__