the fact that the soursop does not ladle CD and it is not a kind of a chemotherapy is not correct.
sent1: the dolomite is a woodsman if something that does venture does tap. sent2: if something is a tapped it does venture and/or it is not a woodsman. sent3: something is both a venture and a tapped. sent4: the fact that the soursop does ladle CD but it is not a chemotherapy does not hold. sent5: something is a tapped. sent6: the soursop is not a e-commerce if the CD ladles CD. sent7: the dolomite is not a e-commerce. sent8: something is not a kind of a woodsman but it does ladle CD. sent9: if the soursop does ladle CD the dolomite is not a woodsman but politic. sent10: if there is something such that it is not a revisionism and it is not a kind of a salience then the CD is not a e-commerce. sent11: the fact that the CD is not a woodsman hold if the dolomite is not a e-commerce. sent12: something is not a chemotherapy and is not impolitic. sent13: the popcorn is not a Beninese and is not a e-commerce. sent14: if the fact that the dolomite is a woodsman is not wrong then the matador is not a kind of a salience. sent15: if the fact that the soursop is not impolitic is correct then that it does not ladle CD and it is not a chemotherapy does not hold. sent16: if the dolomite is a woodsman the matador is not a kind of a revisionism and it is not a salience. sent17: something does not ladle CD and is not a chemotherapy if the fact that it does venture hold.
sent3 & sent1 -> int1: the dolomite is a kind of a woodsman.; int1 & sent16 -> int2: the matador is not a kind of a revisionism and it is not a salience.; int2 -> int3: there exists something such that it is both not a revisionism and not a salience.; int3 & sent10 -> int4: the CD is not a e-commerce.;
the soursop does not ladle CD and it is not a chemotherapy.
sent17 -> int5: if that the soursop is a venture is not false then it does not ladle CD and it is not a chemotherapy.; sent2 -> int6: the dolomite does venture and/or it is not a woodsman if it does tap.;
$hypothesis$ = the fact that the soursop does not ladle CD and it is not a kind of a chemotherapy is not correct. ; $context$ = sent1: the dolomite is a woodsman if something that does venture does tap. sent2: if something is a tapped it does venture and/or it is not a woodsman. sent3: something is both a venture and a tapped. sent4: the fact that the soursop does ladle CD but it is not a chemotherapy does not hold. sent5: something is a tapped. sent6: the soursop is not a e-commerce if the CD ladles CD. sent7: the dolomite is not a e-commerce. sent8: something is not a kind of a woodsman but it does ladle CD. sent9: if the soursop does ladle CD the dolomite is not a woodsman but politic. sent10: if there is something such that it is not a revisionism and it is not a kind of a salience then the CD is not a e-commerce. sent11: the fact that the CD is not a woodsman hold if the dolomite is not a e-commerce. sent12: something is not a chemotherapy and is not impolitic. sent13: the popcorn is not a Beninese and is not a e-commerce. sent14: if the fact that the dolomite is a woodsman is not wrong then the matador is not a kind of a salience. sent15: if the fact that the soursop is not impolitic is correct then that it does not ladle CD and it is not a chemotherapy does not hold. sent16: if the dolomite is a woodsman the matador is not a kind of a revisionism and it is not a salience. sent17: something does not ladle CD and is not a chemotherapy if the fact that it does venture hold. ; $proof$ = 
sent3 & sent1 -> int1: the dolomite is a kind of a woodsman.; int1 & sent16 -> int2: the matador is not a kind of a revisionism and it is not a salience.; int2 -> int3: there exists something such that it is both not a revisionism and not a salience.; int3 & sent10 -> int4: the CD is not a e-commerce.; __UNKNOWN__