the umbelliferousness does not occur and the acting habited happens.
sent1: the fact that the butt-welding happens is true if the fact that either the Marks occurs or the relief does not occur or both does not hold. sent2: that the swipe happens prevents the framing. sent3: the honoring happens if the hanging happens. sent4: if the outburst happens the acting macaque happens. sent5: the fact that the enjoying does not occur and the condoling antidiabetic does not occur is false if the fording does not occur. sent6: the ding-dong does not occur but the investment happens if the irreverentness occurs. sent7: not the umbelliferousness but the acting habited happens if the butt-welding occurs. sent8: if the honoring does not occur then that the umbelliferousness does not occur and the acting habited occurs is incorrect. sent9: that that the paling does not occur but the acting brag occurs does not hold is not false. sent10: the indissolubleness does not occur. sent11: the fact that the Marks occurs or the relief does not occur or both does not hold if the honoring happens. sent12: the butt-welding occurs if the fact that the Marks happens and/or the relief happens is incorrect. sent13: if the condoling birthright occurs the bending chessman occurs. sent14: if the relief does not occur then the aerosol but not the Marks occurs. sent15: the condoling antidiabetic happens. sent16: that the fording occurs is prevented by that not the ding-dong but the investment occurs. sent17: the aerosol does not occur if the fact that the non-phonogramicness and the hanging happens is wrong.
void -> assump1: Let's assume that that both the non-phonogramicness and the hanging happens is wrong.; sent17 & assump1 -> int1: the aerosol does not occur.;
the fact that the umbelliferousness does not occur but the acting habited occurs is wrong.
$hypothesis$ = the umbelliferousness does not occur and the acting habited happens. ; $context$ = sent1: the fact that the butt-welding happens is true if the fact that either the Marks occurs or the relief does not occur or both does not hold. sent2: that the swipe happens prevents the framing. sent3: the honoring happens if the hanging happens. sent4: if the outburst happens the acting macaque happens. sent5: the fact that the enjoying does not occur and the condoling antidiabetic does not occur is false if the fording does not occur. sent6: the ding-dong does not occur but the investment happens if the irreverentness occurs. sent7: not the umbelliferousness but the acting habited happens if the butt-welding occurs. sent8: if the honoring does not occur then that the umbelliferousness does not occur and the acting habited occurs is incorrect. sent9: that that the paling does not occur but the acting brag occurs does not hold is not false. sent10: the indissolubleness does not occur. sent11: the fact that the Marks occurs or the relief does not occur or both does not hold if the honoring happens. sent12: the butt-welding occurs if the fact that the Marks happens and/or the relief happens is incorrect. sent13: if the condoling birthright occurs the bending chessman occurs. sent14: if the relief does not occur then the aerosol but not the Marks occurs. sent15: the condoling antidiabetic happens. sent16: that the fording occurs is prevented by that not the ding-dong but the investment occurs. sent17: the aerosol does not occur if the fact that the non-phonogramicness and the hanging happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that that both the non-phonogramicness and the hanging happens is wrong.; sent17 & assump1 -> int1: the aerosol does not occur.; __UNKNOWN__