that the Burgundy is abdominovesical hold.
sent1: that the salt does not seep triamcinolone and it is not chimeric does not hold if it does not seep cuneiform. sent2: if the umbel is a Forth then it is a kind of a BIN. sent3: something that does not seep triamcinolone does not seep cuneiform and/or does not seep antiemetic. sent4: if the fact that the salt does not seep antiemetic hold then that the antiemetic is not autogenetic and is not a kind of an inexperienced is not true. sent5: if something seeps antiemetic it is abdominovesical. sent6: the umbel is not chimeric if the soul is chimeric and/or it is a Forth. sent7: the Burgundy seeps triamcinolone if there exists something such that the fact that it does not seeps triamcinolone and it is not chimeric is false. sent8: if the soul is normotensive then the umbel is a Forth. sent9: the antiemetic seeps antiemetic. sent10: if something does not seep cuneiform and/or it does not seep antiemetic then it does not seep antiemetic. sent11: there is something such that it is autogenetic. sent12: the antiemetic is a kind of an inexperienced. sent13: if the fact that the antiemetic does not seep antiemetic and is not abdominovesical does not hold the microspore does not seep antiemetic. sent14: the salt does not seep triamcinolone if that the fact that the umbel is a BIN and does not seep triamcinolone is true is wrong. sent15: there is something such that it is a kind of an inexperienced. sent16: the antiemetic is autogenetic. sent17: if something is not chimeric the fact that it is a kind of a BIN and it does not seep triamcinolone is incorrect. sent18: the salt does not seep cuneiform if the umbel is a BIN. sent19: the soul is normotensive.
sent12 & sent16 -> int1: the antiemetic is an inexperienced and it is autogenetic.; int1 -> int2: there exists something such that it is an inexperienced that is autogenetic.; sent5 -> int3: if the Burgundy seeps antiemetic it is abdominovesical.;
the Burgundy is not abdominovesical.
sent10 -> int4: if the salt does not seep cuneiform and/or it does not seep antiemetic it does not seep antiemetic.; sent3 -> int5: the salt does not seep cuneiform or it does not seep antiemetic or both if it does not seep triamcinolone.; sent17 -> int6: if the umbel is not chimeric that it is a BIN and it does not seep triamcinolone is not true.;
$hypothesis$ = that the Burgundy is abdominovesical hold. ; $context$ = sent1: that the salt does not seep triamcinolone and it is not chimeric does not hold if it does not seep cuneiform. sent2: if the umbel is a Forth then it is a kind of a BIN. sent3: something that does not seep triamcinolone does not seep cuneiform and/or does not seep antiemetic. sent4: if the fact that the salt does not seep antiemetic hold then that the antiemetic is not autogenetic and is not a kind of an inexperienced is not true. sent5: if something seeps antiemetic it is abdominovesical. sent6: the umbel is not chimeric if the soul is chimeric and/or it is a Forth. sent7: the Burgundy seeps triamcinolone if there exists something such that the fact that it does not seeps triamcinolone and it is not chimeric is false. sent8: if the soul is normotensive then the umbel is a Forth. sent9: the antiemetic seeps antiemetic. sent10: if something does not seep cuneiform and/or it does not seep antiemetic then it does not seep antiemetic. sent11: there is something such that it is autogenetic. sent12: the antiemetic is a kind of an inexperienced. sent13: if the fact that the antiemetic does not seep antiemetic and is not abdominovesical does not hold the microspore does not seep antiemetic. sent14: the salt does not seep triamcinolone if that the fact that the umbel is a BIN and does not seep triamcinolone is true is wrong. sent15: there is something such that it is a kind of an inexperienced. sent16: the antiemetic is autogenetic. sent17: if something is not chimeric the fact that it is a kind of a BIN and it does not seep triamcinolone is incorrect. sent18: the salt does not seep cuneiform if the umbel is a BIN. sent19: the soul is normotensive. ; $proof$ = 
sent12 & sent16 -> int1: the antiemetic is an inexperienced and it is autogenetic.; int1 -> int2: there exists something such that it is an inexperienced that is autogenetic.; sent5 -> int3: if the Burgundy seeps antiemetic it is abdominovesical.; __UNKNOWN__