if the discarding asset occurs the elongating does not occur.
sent1: the anaplasty and the forehandedness occurs. sent2: the atrioventricularness happens. sent3: if that the discarding squash does not occur is not incorrect then the nonfatness and the nagging occurs. sent4: if the anaplasty occurs the exocentricness happens. sent5: that the postnuptialness happens hold. sent6: the winnow does not occur. sent7: that the Waterloo does not occur is prevented by that the patter occurs. sent8: if the accurateness does not occur then the discarding squash does not occur. sent9: both the draining wrester and the unfamiliarness happens. sent10: that the discarding asset and the discarding squash occurs prevents that the elongating happens. sent11: the accurateness occurs. sent12: the indexlessness happens and the inguinalness occurs. sent13: the chattering happens and the planning occurs. sent14: the yodeling is prevented by that the dripping happens. sent15: the elongating happens. sent16: the example does not occur.
the nonfatness occurs and the nagging happens.
$hypothesis$ = if the discarding asset occurs the elongating does not occur. ; $context$ = sent1: the anaplasty and the forehandedness occurs. sent2: the atrioventricularness happens. sent3: if that the discarding squash does not occur is not incorrect then the nonfatness and the nagging occurs. sent4: if the anaplasty occurs the exocentricness happens. sent5: that the postnuptialness happens hold. sent6: the winnow does not occur. sent7: that the Waterloo does not occur is prevented by that the patter occurs. sent8: if the accurateness does not occur then the discarding squash does not occur. sent9: both the draining wrester and the unfamiliarness happens. sent10: that the discarding asset and the discarding squash occurs prevents that the elongating happens. sent11: the accurateness occurs. sent12: the indexlessness happens and the inguinalness occurs. sent13: the chattering happens and the planning occurs. sent14: the yodeling is prevented by that the dripping happens. sent15: the elongating happens. sent16: the example does not occur. ; $proof$ = 
__UNKNOWN__