the annulus is nonmonotonic.
sent1: there exists something such that the fact that it is Thai and is not a nortriptyline is not true. sent2: that the T-man is both not Thai and a jab is not correct if the brit is a nortriptyline. sent3: the T-man is nonmonotonic if there are percussive things. sent4: that the raffinose is a triplet but it does not tweeze baba is wrong. sent5: the slip-on is not effervescent and does crumble snaffle if the raffinose is not a kind of a doped. sent6: there exists something such that the fact that it is a Bentham and it is a kind of a Menura is not right. sent7: if that the fact that something is nonmonotonic thing that is not non-Thai hold is wrong it is not a non-Thai. sent8: if something is not a jab the annulus is nonmonotonic. sent9: if there exists something such that that it is nonmonotonic and is not a Thai is not true the T-man is a nortriptyline. sent10: there exists something such that that it is both Thai and a nortriptyline is incorrect. sent11: there exists something such that the fact that it is Thai and jabs is wrong. sent12: the T-man does jab if there is something such that that it is not a nortriptyline and it is a Thai is incorrect. sent13: there is something such that it is a kind of nonmonotonic thing that is not a kind of a nortriptyline. sent14: if there is something such that that it is a Bentham and is not a Menura is incorrect then that the brit is a nortriptyline hold. sent15: if that the raffinose is a kind of a triplet but it does not tweeze baba is wrong then it is not a doped. sent16: if there exists something such that it does not secrete H-bomb then the fact that the T-man is imponderable and it is a jab hold. sent17: if the slip-on is not effervescent but it does crumble snaffle then it does not secrete H-bomb. sent18: the annulus is nonmonotonic if there exists something such that the fact that it is not a Thai and it does jab does not hold.
the annulus is not nonmonotonic.
sent15 & sent4 -> int1: the raffinose is not a doped.; sent5 & int1 -> int2: the slip-on is non-effervescent thing that crumbles snaffle.; sent17 & int2 -> int3: the slip-on does not secrete H-bomb.; int3 -> int4: something does not secrete H-bomb.; int4 & sent16 -> int5: the T-man is a kind of imponderable thing that is a jab.; int5 -> int6: the T-man is a jab.; int6 -> int7: something is a jab.;
$hypothesis$ = the annulus is nonmonotonic. ; $context$ = sent1: there exists something such that the fact that it is Thai and is not a nortriptyline is not true. sent2: that the T-man is both not Thai and a jab is not correct if the brit is a nortriptyline. sent3: the T-man is nonmonotonic if there are percussive things. sent4: that the raffinose is a triplet but it does not tweeze baba is wrong. sent5: the slip-on is not effervescent and does crumble snaffle if the raffinose is not a kind of a doped. sent6: there exists something such that the fact that it is a Bentham and it is a kind of a Menura is not right. sent7: if that the fact that something is nonmonotonic thing that is not non-Thai hold is wrong it is not a non-Thai. sent8: if something is not a jab the annulus is nonmonotonic. sent9: if there exists something such that that it is nonmonotonic and is not a Thai is not true the T-man is a nortriptyline. sent10: there exists something such that that it is both Thai and a nortriptyline is incorrect. sent11: there exists something such that the fact that it is Thai and jabs is wrong. sent12: the T-man does jab if there is something such that that it is not a nortriptyline and it is a Thai is incorrect. sent13: there is something such that it is a kind of nonmonotonic thing that is not a kind of a nortriptyline. sent14: if there is something such that that it is a Bentham and is not a Menura is incorrect then that the brit is a nortriptyline hold. sent15: if that the raffinose is a kind of a triplet but it does not tweeze baba is wrong then it is not a doped. sent16: if there exists something such that it does not secrete H-bomb then the fact that the T-man is imponderable and it is a jab hold. sent17: if the slip-on is not effervescent but it does crumble snaffle then it does not secrete H-bomb. sent18: the annulus is nonmonotonic if there exists something such that the fact that it is not a Thai and it does jab does not hold. ; $proof$ = 
__UNKNOWN__