if the anureticness does not occur then the changing does not occur.
sent1: the reimbursing chlorination occurs if the anticoagulation does not occur. sent2: that the addiction happens and the rhinoscopy does not occur prevents the dip. sent3: the block does not occur. sent4: the changing occurs. sent5: the reimbursing styrax does not occur. sent6: the rustication does not occur if the fluoroscopy does not occur. sent7: the bodiliness does not occur and/or the anticoagulation does not occur. sent8: the fact that the volubleness happens is not false. sent9: the bronchoscopicness occurs. sent10: that the reimbursing chlorination but not the anureticness happens prevents that the changing occurs. sent11: the reimbursing chlorination is caused by that the bodiliness does not occur. sent12: the immatureness does not occur. sent13: if the rustling vaporization happens then the beautifulness but not the reimbursing adopter happens. sent14: the clutching does not occur. sent15: the necroticness does not occur if the fact that the anticoagulation does not occur but the bodiliness occurs is not true. sent16: if that the reimbursing adopter does not occur is not wrong then the fact that the changing and the anureticness occurs is not true.
sent7 & sent11 & sent1 -> int1: the reimbursing chlorination occurs.; void -> assump1: Let's assume that the fact that the anureticness does not occur is correct.; int1 & assump1 -> int2: the reimbursing chlorination but not the anureticness happens.; int2 & sent10 -> int3: the change does not occur.; [assump1] & int3 -> hypothesis;
the necroticness does not occur.
$hypothesis$ = if the anureticness does not occur then the changing does not occur. ; $context$ = sent1: the reimbursing chlorination occurs if the anticoagulation does not occur. sent2: that the addiction happens and the rhinoscopy does not occur prevents the dip. sent3: the block does not occur. sent4: the changing occurs. sent5: the reimbursing styrax does not occur. sent6: the rustication does not occur if the fluoroscopy does not occur. sent7: the bodiliness does not occur and/or the anticoagulation does not occur. sent8: the fact that the volubleness happens is not false. sent9: the bronchoscopicness occurs. sent10: that the reimbursing chlorination but not the anureticness happens prevents that the changing occurs. sent11: the reimbursing chlorination is caused by that the bodiliness does not occur. sent12: the immatureness does not occur. sent13: if the rustling vaporization happens then the beautifulness but not the reimbursing adopter happens. sent14: the clutching does not occur. sent15: the necroticness does not occur if the fact that the anticoagulation does not occur but the bodiliness occurs is not true. sent16: if that the reimbursing adopter does not occur is not wrong then the fact that the changing and the anureticness occurs is not true. ; $proof$ = 
sent7 & sent11 & sent1 -> int1: the reimbursing chlorination occurs.; void -> assump1: Let's assume that the fact that the anureticness does not occur is correct.; int1 & assump1 -> int2: the reimbursing chlorination but not the anureticness happens.; int2 & sent10 -> int3: the change does not occur.; [assump1] & int3 -> hypothesis; __PROVED__