that if the deforestation occurs then the escalading does not occur does not hold.
sent1: the propping convict does not occur if that the nonsteroidalness occurs is not false. sent2: the besieging sprachgefuhl does not occur if the fact that the welcomeness occurs and the deforestation occurs is wrong. sent3: the besieging sprachgefuhl does not occur if the fact that the welcomeness but not the deforestation happens is not true. sent4: the advocacy does not occur. sent5: that the escalade happens is prevented by that the besieging sprachgefuhl does not occur. sent6: the welcome occurs. sent7: if that both the mooring Jespersen and the non-attentiveness occurs does not hold the propping geneva does not occur. sent8: the besieging Geococcyx occurs. sent9: the fix occurs. sent10: the mooring pinstripe does not occur. sent11: the mooring Pizarro does not occur if the anathema happens. sent12: the genesis occurs. sent13: that the besieging sprachgefuhl happens is prevented by that the welcome but not the deforestation happens. sent14: the routemarch happens if the engendering does not occur. sent15: the nonsteroidalness occurs. sent16: the besieging precession does not occur if the bestowal does not occur. sent17: the craps occurs. sent18: the welcome and the deforestation happens. sent19: the volcanicness happens if the besieging tramway does not occur. sent20: the hypertensiveness happens but the kittee does not occur. sent21: that the besieging sprachgefuhl does not occur is brought about by the non-welcomeness. sent22: the Bhutanese does not occur.
void -> assump1: Let's assume that the deforestation happens.; void -> assump2: Let's assume that the welcomeness but not the deforestation occurs.; assump2 -> int1: that the deforestation does not occur hold.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the fact that the welcomeness happens but the deforestation does not occur is incorrect hold.; sent3 & int3 -> int4: that the besieging sprachgefuhl does not occur is right.; sent5 & int4 -> int5: the escalading does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that if the deforestation occurs then the escalading does not occur does not hold. ; $context$ = sent1: the propping convict does not occur if that the nonsteroidalness occurs is not false. sent2: the besieging sprachgefuhl does not occur if the fact that the welcomeness occurs and the deforestation occurs is wrong. sent3: the besieging sprachgefuhl does not occur if the fact that the welcomeness but not the deforestation happens is not true. sent4: the advocacy does not occur. sent5: that the escalade happens is prevented by that the besieging sprachgefuhl does not occur. sent6: the welcome occurs. sent7: if that both the mooring Jespersen and the non-attentiveness occurs does not hold the propping geneva does not occur. sent8: the besieging Geococcyx occurs. sent9: the fix occurs. sent10: the mooring pinstripe does not occur. sent11: the mooring Pizarro does not occur if the anathema happens. sent12: the genesis occurs. sent13: that the besieging sprachgefuhl happens is prevented by that the welcome but not the deforestation happens. sent14: the routemarch happens if the engendering does not occur. sent15: the nonsteroidalness occurs. sent16: the besieging precession does not occur if the bestowal does not occur. sent17: the craps occurs. sent18: the welcome and the deforestation happens. sent19: the volcanicness happens if the besieging tramway does not occur. sent20: the hypertensiveness happens but the kittee does not occur. sent21: that the besieging sprachgefuhl does not occur is brought about by the non-welcomeness. sent22: the Bhutanese does not occur. ; $proof$ = 
void -> assump1: Let's assume that the deforestation happens.; void -> assump2: Let's assume that the welcomeness but not the deforestation occurs.; assump2 -> int1: that the deforestation does not occur hold.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the fact that the welcomeness happens but the deforestation does not occur is incorrect hold.; sent3 & int3 -> int4: that the besieging sprachgefuhl does not occur is right.; sent5 & int4 -> int5: the escalading does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__