the fact that both the renewableness and the damaging Kyyiv occurs does not hold.
sent1: that if the fact that that the overrunning stockist occurs but the puncturableness does not occur hold is not correct the unrenewableness does not occur is not wrong. sent2: that both the pompousness and the overrunning stockist happens is brought about by that the damaging drudgery does not occur. sent3: the puncturableness occurs. sent4: the fact that the unrenewableness does not occur and the damaging Kyyiv occurs is not true if the damaging poler does not occur. sent5: if the fact that the damaging poler happens is correct then the tarnishing occurs. sent6: if the tarnishing happens and the overexertion happens the pompousness does not occur. sent7: the fact that the unrenewableness and the damaging Kyyiv happens is false if the damaging poler does not occur. sent8: if the damaging drudgery does not occur the overrunning stockist occurs. sent9: the damaging poler happens and/or the tarnishing happens if the overexertion does not occur. sent10: the fact that the accommodation and the damaging drudgery happens is not correct. sent11: the unrenewableness does not occur if the fact that the puncturableness and the pompousness happens is not correct. sent12: if the fact that the accommodation occurs and the damaging drudgery happens is not right then the damaging drudgery does not occur.
void -> assump1: Let's assume that the damaging poler happens.; sent5 & assump1 -> int1: the tarnishing occurs.; sent12 & sent10 -> int2: the damaging drudgery does not occur.; sent2 & int2 -> int3: the pompousness occurs and the overrunning stockist happens.; int3 -> int4: the pompousness occurs.;
the damaging TRH happens.
$hypothesis$ = the fact that both the renewableness and the damaging Kyyiv occurs does not hold. ; $context$ = sent1: that if the fact that that the overrunning stockist occurs but the puncturableness does not occur hold is not correct the unrenewableness does not occur is not wrong. sent2: that both the pompousness and the overrunning stockist happens is brought about by that the damaging drudgery does not occur. sent3: the puncturableness occurs. sent4: the fact that the unrenewableness does not occur and the damaging Kyyiv occurs is not true if the damaging poler does not occur. sent5: if the fact that the damaging poler happens is correct then the tarnishing occurs. sent6: if the tarnishing happens and the overexertion happens the pompousness does not occur. sent7: the fact that the unrenewableness and the damaging Kyyiv happens is false if the damaging poler does not occur. sent8: if the damaging drudgery does not occur the overrunning stockist occurs. sent9: the damaging poler happens and/or the tarnishing happens if the overexertion does not occur. sent10: the fact that the accommodation and the damaging drudgery happens is not correct. sent11: the unrenewableness does not occur if the fact that the puncturableness and the pompousness happens is not correct. sent12: if the fact that the accommodation occurs and the damaging drudgery happens is not right then the damaging drudgery does not occur. ; $proof$ = 
void -> assump1: Let's assume that the damaging poler happens.; sent5 & assump1 -> int1: the tarnishing occurs.; sent12 & sent10 -> int2: the damaging drudgery does not occur.; sent2 & int2 -> int3: the pompousness occurs and the overrunning stockist happens.; int3 -> int4: the pompousness occurs.; __UNKNOWN__