the undercutting postilion does not occur.
sent1: if the abating but not the nonindulgentness happens the undercutting postilion does not occur. sent2: the BAN does not occur if that the fact that the monopolization does not occur and the catoptricness occurs is right is incorrect. sent3: that the fluvialness occurs and the refresher occurs is wrong if the climbing does not occur. sent4: the psychotherapy occurs if the activity happens. sent5: if the chairmanship happens then the crusading does not occur. sent6: the fact that the notice happens is true if the nonindulgentness happens. sent7: the Gothic does not occur. sent8: that the refreshing does not occur and the abating occurs does not hold if that the imperviousness does not occur is not wrong. sent9: the nonindulgentness does not occur and the notice does not occur if the abating does not occur. sent10: the abating occurs if the imperviousness happens. sent11: if the fact that the fluvialness occurs and the refresher happens does not hold then the refresher does not occur. sent12: that the crusading does not occur but the rhinoplasty occurs prevents the climb. sent13: if the refresher does not occur then that the monopolization does not occur and the catoptricness occurs is not correct. sent14: the noticing does not occur. sent15: the undercutting goldstone does not occur and/or the grating Judaism does not occur if the confusing occurs. sent16: if the refreshing does not occur then that the undercutting postilion and the imperviousness happens is false. sent17: the chairmanship and the hormonalness occurs. sent18: if the nonindulgentness does not occur and the notice does not occur then the inducing auto-mechanic does not occur. sent19: the confusing happens and the irreversibleness occurs if that the BAN does not occur is not wrong. sent20: that the imperviousness occurs is not incorrect.
void -> assump1: Let's assume that the nonindulgentness occurs.; sent6 & assump1 -> int1: the notice occurs.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> int3: the nonindulgentness does not occur.; sent10 & sent20 -> int4: the abating happens.; int3 & int4 -> int5: the abating happens but the nonindulgentness does not occur.; int5 & sent1 -> hypothesis;
the inducing auto-mechanic does not occur.
sent17 -> int6: the chairmanship occurs.; sent5 & int6 -> int7: the crusading does not occur.;
$hypothesis$ = the undercutting postilion does not occur. ; $context$ = sent1: if the abating but not the nonindulgentness happens the undercutting postilion does not occur. sent2: the BAN does not occur if that the fact that the monopolization does not occur and the catoptricness occurs is right is incorrect. sent3: that the fluvialness occurs and the refresher occurs is wrong if the climbing does not occur. sent4: the psychotherapy occurs if the activity happens. sent5: if the chairmanship happens then the crusading does not occur. sent6: the fact that the notice happens is true if the nonindulgentness happens. sent7: the Gothic does not occur. sent8: that the refreshing does not occur and the abating occurs does not hold if that the imperviousness does not occur is not wrong. sent9: the nonindulgentness does not occur and the notice does not occur if the abating does not occur. sent10: the abating occurs if the imperviousness happens. sent11: if the fact that the fluvialness occurs and the refresher happens does not hold then the refresher does not occur. sent12: that the crusading does not occur but the rhinoplasty occurs prevents the climb. sent13: if the refresher does not occur then that the monopolization does not occur and the catoptricness occurs is not correct. sent14: the noticing does not occur. sent15: the undercutting goldstone does not occur and/or the grating Judaism does not occur if the confusing occurs. sent16: if the refreshing does not occur then that the undercutting postilion and the imperviousness happens is false. sent17: the chairmanship and the hormonalness occurs. sent18: if the nonindulgentness does not occur and the notice does not occur then the inducing auto-mechanic does not occur. sent19: the confusing happens and the irreversibleness occurs if that the BAN does not occur is not wrong. sent20: that the imperviousness occurs is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the nonindulgentness occurs.; sent6 & assump1 -> int1: the notice occurs.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> int3: the nonindulgentness does not occur.; sent10 & sent20 -> int4: the abating happens.; int3 & int4 -> int5: the abating happens but the nonindulgentness does not occur.; int5 & sent1 -> hypothesis; __PROVED__