that the kid but not the tolerableness occurs is false if the fact that the epiphyticness occurs is right.
sent1: that the toll-freeness does not occur is not wrong if the epiphyticness happens and the ursineness happens. sent2: the doom and the improperness happens. sent3: that the thuggee happens brings about the ursineness. sent4: that the kid and the tolerableness occurs is not correct if the toll-freeness does not occur. sent5: the kid happens but the tolerableness does not occur if the epiphyticness happens. sent6: the improperness happens. sent7: if that the orchiopexy does not occur and the improperness does not occur is not correct the orchiopexy occurs. sent8: the thuggee happens if that the dooming happens is not wrong. sent9: if that the non-subtractiveness and the non-ursineness occurs does not hold the subtractiveness happens. sent10: the unspelling disyllable happens. sent11: if the epiphyticness occurs that the kidding happens and the tolerableness happens does not hold. sent12: if the fact that the toll-freeness does not occur hold that the fact that both the kidding and the non-tolerableness happens does not hold is not false.
void -> assump1: Let's assume that the epiphyticness occurs.; sent2 -> int1: the dooming happens.; sent8 & int1 -> int2: the thuggee happens.; sent3 & int2 -> int3: the ursineness occurs.; assump1 & int3 -> int4: both the epiphyticness and the ursineness happens.; sent1 & int4 -> int5: the toll-freeness does not occur.; sent12 & int5 -> int6: the fact that the kid and the non-tolerableness occurs does not hold.; [assump1] & int6 -> hypothesis;
both the subtractiveness and the re-creation occurs.
$hypothesis$ = that the kid but not the tolerableness occurs is false if the fact that the epiphyticness occurs is right. ; $context$ = sent1: that the toll-freeness does not occur is not wrong if the epiphyticness happens and the ursineness happens. sent2: the doom and the improperness happens. sent3: that the thuggee happens brings about the ursineness. sent4: that the kid and the tolerableness occurs is not correct if the toll-freeness does not occur. sent5: the kid happens but the tolerableness does not occur if the epiphyticness happens. sent6: the improperness happens. sent7: if that the orchiopexy does not occur and the improperness does not occur is not correct the orchiopexy occurs. sent8: the thuggee happens if that the dooming happens is not wrong. sent9: if that the non-subtractiveness and the non-ursineness occurs does not hold the subtractiveness happens. sent10: the unspelling disyllable happens. sent11: if the epiphyticness occurs that the kidding happens and the tolerableness happens does not hold. sent12: if the fact that the toll-freeness does not occur hold that the fact that both the kidding and the non-tolerableness happens does not hold is not false. ; $proof$ = 
void -> assump1: Let's assume that the epiphyticness occurs.; sent2 -> int1: the dooming happens.; sent8 & int1 -> int2: the thuggee happens.; sent3 & int2 -> int3: the ursineness occurs.; assump1 & int3 -> int4: both the epiphyticness and the ursineness happens.; sent1 & int4 -> int5: the toll-freeness does not occur.; sent12 & int5 -> int6: the fact that the kid and the non-tolerableness occurs does not hold.; [assump1] & int6 -> hypothesis; __PROVED__