the trekker is not transuranic.
sent1: if that the notebook does not exacerbate overflow is not incorrect then that the soak does not overwhelm flattery and is not a poke is not true. sent2: if something tailgates then it is a kind of a tourniquet. sent3: the nevirapine is not zoonotic. sent4: if something does not poke then it is not transuranic. sent5: everything does exacerbate callosity and it is not a kind of a classical. sent6: something is not a poke if it is not logarithmic and it is zoonotic. sent7: if the disinfectant exacerbates callosity but it is nonclassical the notebook tailgates. sent8: something is not a Wotan and does discard acne if it is a tourniquet. sent9: the trekker does exacerbate overflow and overwhelms flattery. sent10: something does not exacerbate overflow if it is not a kind of a Wotan and it does discard acne. sent11: something is not logarithmic if it does overwhelm flattery. sent12: something is not a poke if it is logarithmic thing that is zoonotic. sent13: the trekker is not logarithmic if it does overwhelm flattery.
sent9 -> int1: the trekker does overwhelm flattery.; sent6 -> int2: the trekker is not a poke if that it is not logarithmic but zoonotic is not false.; sent4 -> int3: if the trekker is not a kind of a poke then it is not transuranic.;
the trekker is transuranic.
sent10 -> int4: the notebook does not exacerbate overflow if it is not a Wotan and it discards acne.; sent8 -> int5: if the notebook is a tourniquet it is not a Wotan and does discard acne.; sent2 -> int6: if the notebook is a tailgate it is a kind of a tourniquet.; sent5 -> int7: the disinfectant exacerbates callosity and is not a classical.; sent7 & int7 -> int8: the notebook is a tailgate.; int6 & int8 -> int9: the notebook is a tourniquet.; int5 & int9 -> int10: the notebook is not a Wotan but it does discard acne.; int4 & int10 -> int11: the notebook does not exacerbate overflow.; sent1 & int11 -> int12: that the soak does not overwhelm flattery and does not poke does not hold.; int12 -> int13: there exists something such that that it does not overwhelm flattery and is not a poke is not true.;
$hypothesis$ = the trekker is not transuranic. ; $context$ = sent1: if that the notebook does not exacerbate overflow is not incorrect then that the soak does not overwhelm flattery and is not a poke is not true. sent2: if something tailgates then it is a kind of a tourniquet. sent3: the nevirapine is not zoonotic. sent4: if something does not poke then it is not transuranic. sent5: everything does exacerbate callosity and it is not a kind of a classical. sent6: something is not a poke if it is not logarithmic and it is zoonotic. sent7: if the disinfectant exacerbates callosity but it is nonclassical the notebook tailgates. sent8: something is not a Wotan and does discard acne if it is a tourniquet. sent9: the trekker does exacerbate overflow and overwhelms flattery. sent10: something does not exacerbate overflow if it is not a kind of a Wotan and it does discard acne. sent11: something is not logarithmic if it does overwhelm flattery. sent12: something is not a poke if it is logarithmic thing that is zoonotic. sent13: the trekker is not logarithmic if it does overwhelm flattery. ; $proof$ = 
sent9 -> int1: the trekker does overwhelm flattery.; sent6 -> int2: the trekker is not a poke if that it is not logarithmic but zoonotic is not false.; sent4 -> int3: if the trekker is not a kind of a poke then it is not transuranic.; __UNKNOWN__