the fact that the resonance occurs but the including lysosome does not occur is not right if the backhanding happens.
sent1: if the backhanding happens the resonance but not the including lysosome occurs. sent2: if the tolerantness does not occur then the propagandizing but not the Laos occurs. sent3: the including shielded but not the faith happens. sent4: if the fact that the compounding and the non-collegiateness happens is not true the blinding electroencephalograph does not occur. sent5: the restarting resuscitator does not occur. sent6: if the including tannin occurs then the fact that the compounding and the non-collegiateness occurs does not hold. sent7: that the tolerantness does not occur is correct if the fact that the backhandness occurs and the marsupial occurs is not true. sent8: if the backhandness occurs the fact that both the resonance and the including lysosome occurs is incorrect. sent9: if the resonance happens and the including lysosome happens then that the backhanding does not occur is correct. sent10: if the blinding electroencephalograph does not occur then that the backhand occurs and the marsupialness occurs is wrong. sent11: the plunderage does not occur. sent12: that the electrochemicalness happens but the subscription does not occur is not true. sent13: the resonance occurs. sent14: the hardening vulvectomy does not occur. sent15: the fact that the fact that the hardening conveyance occurs but the cotillion does not occur is correct is false if the slating happens. sent16: that the including consuetude and the non-collegiateness occurs is incorrect. sent17: the hardening inventor occurs and the detox does not occur. sent18: that the resonance happens but the including lysosome does not occur results in that the backhandness does not occur. sent19: the non-backhandness is prevented by that the resonance but not the including lysosome occurs.
void -> assump1: Let's assume that that the resonance occurs and the including lysosome does not occur is correct.; sent18 & assump1 -> int1: the backhanding does not occur.; void -> assump2: Let's assume that the fact that the backhanding occurs is not wrong.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the resonance occurs and the including lysosome does not occur does not hold.; [assump2] & int3 -> hypothesis;
the propagandizing but not the Laos occurs.
$hypothesis$ = the fact that the resonance occurs but the including lysosome does not occur is not right if the backhanding happens. ; $context$ = sent1: if the backhanding happens the resonance but not the including lysosome occurs. sent2: if the tolerantness does not occur then the propagandizing but not the Laos occurs. sent3: the including shielded but not the faith happens. sent4: if the fact that the compounding and the non-collegiateness happens is not true the blinding electroencephalograph does not occur. sent5: the restarting resuscitator does not occur. sent6: if the including tannin occurs then the fact that the compounding and the non-collegiateness occurs does not hold. sent7: that the tolerantness does not occur is correct if the fact that the backhandness occurs and the marsupial occurs is not true. sent8: if the backhandness occurs the fact that both the resonance and the including lysosome occurs is incorrect. sent9: if the resonance happens and the including lysosome happens then that the backhanding does not occur is correct. sent10: if the blinding electroencephalograph does not occur then that the backhand occurs and the marsupialness occurs is wrong. sent11: the plunderage does not occur. sent12: that the electrochemicalness happens but the subscription does not occur is not true. sent13: the resonance occurs. sent14: the hardening vulvectomy does not occur. sent15: the fact that the fact that the hardening conveyance occurs but the cotillion does not occur is correct is false if the slating happens. sent16: that the including consuetude and the non-collegiateness occurs is incorrect. sent17: the hardening inventor occurs and the detox does not occur. sent18: that the resonance happens but the including lysosome does not occur results in that the backhandness does not occur. sent19: the non-backhandness is prevented by that the resonance but not the including lysosome occurs. ; $proof$ = 
void -> assump1: Let's assume that that the resonance occurs and the including lysosome does not occur is correct.; sent18 & assump1 -> int1: the backhanding does not occur.; void -> assump2: Let's assume that the fact that the backhanding occurs is not wrong.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the resonance occurs and the including lysosome does not occur does not hold.; [assump2] & int3 -> hypothesis; __PROVED__