the Sauk is a Haitian and it is homocercal.
sent1: if the Berry is a Mercury then the swallowwort is a Mercury. sent2: if there exists something such that it substantiates then the fact that the fact that the Berry is not a glossalgia or it is not atherosclerotic or both is not wrong is wrong. sent3: the Sauk is homocercal if the fullback is a bentonite. sent4: the cynancum is a bentonite. sent5: if something is a Mercury then it contents. sent6: the upstager is a Mercury if something that does hymn Sauk is an active. sent7: if something is a kind of an active that it is not atherosclerotic but a glossalgia does not hold. sent8: that the upstager is not atherosclerotic and it does not hymn Sauk is not true. sent9: the Sauk is holozoic if the upstager contents. sent10: the fact that the upstager is non-active thing that does not hymn Sauk is false. sent11: if something is holozoic then it is Haitian. sent12: if that the fullback is a Cibotium is right then the Sauk is homocercal. sent13: the adenoid is not an active if that the Berry is not a glossalgia and/or is not atherosclerotic is wrong. sent14: if there is something such that it is a kind of a bentonite then either the fullback is a bentonite or it is a Cibotium or both. sent15: the fact that the cynancum does content is right. sent16: if the seeder is atherosclerotic then the adenoid is a glossalgia but it does not substantiate. sent17: something substantiates. sent18: if the adenoid does not substantiate then the Berry is a Mercury.
sent17 & sent2 -> int1: the fact that the Berry is either not a glossalgia or not atherosclerotic or both is wrong.; int1 & sent13 -> int2: the adenoid is not a kind of an active.; sent5 -> int3: the upstager is a contents if it is a Mercury.; sent11 -> int4: if the Sauk is holozoic then it is a Haitian.; sent4 -> int5: there exists something such that it is a bentonite.; int5 & sent14 -> int6: the fullback is a kind of a bentonite or it is a kind of a Cibotium or both.; int6 & sent3 & sent12 -> int7: the Sauk is homocercal.;
that the Sauk is a kind of a Haitian that is homocercal does not hold.
sent8 -> int8: there is something such that the fact that it is non-atherosclerotic thing that does not hymn Sauk is not true.;
$hypothesis$ = the Sauk is a Haitian and it is homocercal. ; $context$ = sent1: if the Berry is a Mercury then the swallowwort is a Mercury. sent2: if there exists something such that it substantiates then the fact that the fact that the Berry is not a glossalgia or it is not atherosclerotic or both is not wrong is wrong. sent3: the Sauk is homocercal if the fullback is a bentonite. sent4: the cynancum is a bentonite. sent5: if something is a Mercury then it contents. sent6: the upstager is a Mercury if something that does hymn Sauk is an active. sent7: if something is a kind of an active that it is not atherosclerotic but a glossalgia does not hold. sent8: that the upstager is not atherosclerotic and it does not hymn Sauk is not true. sent9: the Sauk is holozoic if the upstager contents. sent10: the fact that the upstager is non-active thing that does not hymn Sauk is false. sent11: if something is holozoic then it is Haitian. sent12: if that the fullback is a Cibotium is right then the Sauk is homocercal. sent13: the adenoid is not an active if that the Berry is not a glossalgia and/or is not atherosclerotic is wrong. sent14: if there is something such that it is a kind of a bentonite then either the fullback is a bentonite or it is a Cibotium or both. sent15: the fact that the cynancum does content is right. sent16: if the seeder is atherosclerotic then the adenoid is a glossalgia but it does not substantiate. sent17: something substantiates. sent18: if the adenoid does not substantiate then the Berry is a Mercury. ; $proof$ = 
sent17 & sent2 -> int1: the fact that the Berry is either not a glossalgia or not atherosclerotic or both is wrong.; int1 & sent13 -> int2: the adenoid is not a kind of an active.; sent5 -> int3: the upstager is a contents if it is a Mercury.; sent11 -> int4: if the Sauk is holozoic then it is a Haitian.; sent4 -> int5: there exists something such that it is a bentonite.; int5 & sent14 -> int6: the fullback is a kind of a bentonite or it is a kind of a Cibotium or both.; int6 & sent3 & sent12 -> int7: the Sauk is homocercal.; __UNKNOWN__