the avoiding intervention does not occur.
sent1: if the avoiding Helipterum occurs then the avoiding audiotape does not occur. sent2: if that the alluvialness does not occur and the corresponding transitive does not occur is false then the fact that the calculating does not occur is not false. sent3: the antisepticizing alumnus does not occur. sent4: the forbearing does not occur if that the aldermanicness does not occur and the miscue does not occur does not hold. sent5: the avoiding audiotape does not occur if the fact that the avoiding Helipterum does not occur and the pepticness does not occur is wrong. sent6: the avoiding Helipterum does not occur. sent7: that the toasting does not occur is caused by the incomprehensibleness. sent8: if the avoiding audiotape does not occur then the fact that the rbi and the sweeping happens is not correct. sent9: if the backspin does not occur the fact that the sweeping happens but the rbi does not occur is not right. sent10: the avoiding intervention does not occur if the rbi does not occur. sent11: the hoeing occurs. sent12: the avoiding intervention does not occur if the fact that the rbi happens and the sweep happens does not hold. sent13: if the toasting does not occur then the antisepticizing pyrocellulose happens and/or the advent happens. sent14: the smash does not occur if the fact that the anthropocentricness does not occur and the hostility does not occur is wrong. sent15: if the fact that the decompression does not occur and the avoiding brier does not occur is incorrect then that the undiplomaticness does not occur is right. sent16: the fact that the avoiding Helipterum and the non-pepticness happens is incorrect.
void -> assump1: Let's assume that the avoiding Helipterum does not occur and the pepticness does not occur.; assump1 -> int1: the pepticness does not occur.;
the avoiding intervention occurs.
$hypothesis$ = the avoiding intervention does not occur. ; $context$ = sent1: if the avoiding Helipterum occurs then the avoiding audiotape does not occur. sent2: if that the alluvialness does not occur and the corresponding transitive does not occur is false then the fact that the calculating does not occur is not false. sent3: the antisepticizing alumnus does not occur. sent4: the forbearing does not occur if that the aldermanicness does not occur and the miscue does not occur does not hold. sent5: the avoiding audiotape does not occur if the fact that the avoiding Helipterum does not occur and the pepticness does not occur is wrong. sent6: the avoiding Helipterum does not occur. sent7: that the toasting does not occur is caused by the incomprehensibleness. sent8: if the avoiding audiotape does not occur then the fact that the rbi and the sweeping happens is not correct. sent9: if the backspin does not occur the fact that the sweeping happens but the rbi does not occur is not right. sent10: the avoiding intervention does not occur if the rbi does not occur. sent11: the hoeing occurs. sent12: the avoiding intervention does not occur if the fact that the rbi happens and the sweep happens does not hold. sent13: if the toasting does not occur then the antisepticizing pyrocellulose happens and/or the advent happens. sent14: the smash does not occur if the fact that the anthropocentricness does not occur and the hostility does not occur is wrong. sent15: if the fact that the decompression does not occur and the avoiding brier does not occur is incorrect then that the undiplomaticness does not occur is right. sent16: the fact that the avoiding Helipterum and the non-pepticness happens is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the avoiding Helipterum does not occur and the pepticness does not occur.; assump1 -> int1: the pepticness does not occur.; __UNKNOWN__