the obstruction does not occur.
sent1: that both the tarsalness and the manhood happens does not hold if the obstruction does not occur. sent2: if the posting Hydrochoeridae happens and the chemical does not occur then the physicochemicalness does not occur. sent3: if that both the insincereness and the posting paper-pusher happens is false the axonalness does not occur. sent4: that both the offstageness and the livingness happens is not right. sent5: if that the posting cote occurs and the convenientness occurs is wrong then the cohesion does not occur. sent6: if that both the offstageness and the livingness occurs does not hold the Bowdlerism does not occur. sent7: that the thinking Benzoin happens causes that the posting Hydrochoeridae and the non-chemicalness happens. sent8: that the obstruction does not occur is prevented by that the Bowdlerism does not occur. sent9: the fact that the Tamilness happens and the axonalness occurs does not hold. sent10: the Bowdlerism does not occur if the livingness does not occur. sent11: if the allogeneicness does not occur the line happens. sent12: the fact that the nocturnalness and the Bowdlerism occurs is not correct if the physicochemicalness does not occur. sent13: that the Bowdlerism but not the nocturnalness occurs is caused by the non-physicochemicalness. sent14: if the Bowdlerism but not the nocturnalness occurs the obstruction does not occur. sent15: the fact that the overflight happens and the pyemicness occurs is not correct. sent16: the fact that the thinking stevedore happens and the thinking sorb occurs does not hold.
sent6 & sent4 -> int1: the Bowdlerism does not occur.; sent8 & int1 -> hypothesis;
that the tarsalness happens and the manhood occurs is wrong.
$hypothesis$ = the obstruction does not occur. ; $context$ = sent1: that both the tarsalness and the manhood happens does not hold if the obstruction does not occur. sent2: if the posting Hydrochoeridae happens and the chemical does not occur then the physicochemicalness does not occur. sent3: if that both the insincereness and the posting paper-pusher happens is false the axonalness does not occur. sent4: that both the offstageness and the livingness happens is not right. sent5: if that the posting cote occurs and the convenientness occurs is wrong then the cohesion does not occur. sent6: if that both the offstageness and the livingness occurs does not hold the Bowdlerism does not occur. sent7: that the thinking Benzoin happens causes that the posting Hydrochoeridae and the non-chemicalness happens. sent8: that the obstruction does not occur is prevented by that the Bowdlerism does not occur. sent9: the fact that the Tamilness happens and the axonalness occurs does not hold. sent10: the Bowdlerism does not occur if the livingness does not occur. sent11: if the allogeneicness does not occur the line happens. sent12: the fact that the nocturnalness and the Bowdlerism occurs is not correct if the physicochemicalness does not occur. sent13: that the Bowdlerism but not the nocturnalness occurs is caused by the non-physicochemicalness. sent14: if the Bowdlerism but not the nocturnalness occurs the obstruction does not occur. sent15: the fact that the overflight happens and the pyemicness occurs is not correct. sent16: the fact that the thinking stevedore happens and the thinking sorb occurs does not hold. ; $proof$ = 
sent6 & sent4 -> int1: the Bowdlerism does not occur.; sent8 & int1 -> hypothesis; __DISPROVED__