the lessness does not occur if the western does not occur.
sent1: that if the fact that the non-westernness and the non-lessness occurs is false then the bye does not occur is correct. sent2: if the ribbing happens then the fact that the non-westernness and the non-lessness occurs is not right. sent3: the fact that the disentangling does not occur is true if the fact that the protecting happens is true. sent4: the non-tarsalness prevents that the remodeling steak occurs. sent5: that the recoverableness does not occur is correct. sent6: the emulsifying Novial occurs. sent7: the emulsifying subshrub happens if the redeeming occurs. sent8: the sericulture does not occur if the masculine happens. sent9: the westernness happens if the lessness happens. sent10: if the powderizing occurs the emulsifying chumminess happens. sent11: the collapsing does not occur. sent12: the emulsifying phrontistery does not occur. sent13: the non-lessness is caused by the western. sent14: if the quadrangularness occurs that the dissuasiveness does not occur is correct. sent15: that the ribbing occurs and the postmortemness happens is caused by that the popery does not occur. sent16: the lessness happens if the westernness does not occur. sent17: the adjoining hyson occurs.
void -> assump1: Let's assume that the lessness occurs.; sent9 & assump1 -> int1: the westernness happens.; void -> assump2: Let's assume that the westernness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the lessness does not occur.; [assump2] & int3 -> hypothesis;
the bye does not occur.
$hypothesis$ = the lessness does not occur if the western does not occur. ; $context$ = sent1: that if the fact that the non-westernness and the non-lessness occurs is false then the bye does not occur is correct. sent2: if the ribbing happens then the fact that the non-westernness and the non-lessness occurs is not right. sent3: the fact that the disentangling does not occur is true if the fact that the protecting happens is true. sent4: the non-tarsalness prevents that the remodeling steak occurs. sent5: that the recoverableness does not occur is correct. sent6: the emulsifying Novial occurs. sent7: the emulsifying subshrub happens if the redeeming occurs. sent8: the sericulture does not occur if the masculine happens. sent9: the westernness happens if the lessness happens. sent10: if the powderizing occurs the emulsifying chumminess happens. sent11: the collapsing does not occur. sent12: the emulsifying phrontistery does not occur. sent13: the non-lessness is caused by the western. sent14: if the quadrangularness occurs that the dissuasiveness does not occur is correct. sent15: that the ribbing occurs and the postmortemness happens is caused by that the popery does not occur. sent16: the lessness happens if the westernness does not occur. sent17: the adjoining hyson occurs. ; $proof$ = 
void -> assump1: Let's assume that the lessness occurs.; sent9 & assump1 -> int1: the westernness happens.; void -> assump2: Let's assume that the westernness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the lessness does not occur.; [assump2] & int3 -> hypothesis; __PROVED__