the envelope is diagnostic.
sent1: the opsonin is not a hunter. sent2: the epicardium is a kind of a bottle that does letter sonnet if the elision is not a hunter. sent3: the raisin is penal. sent4: if the raisin is not a hunter then the opsonin is not a hunter and is a kind of a tarsal. sent5: if the opsonin is a kind of a steelmaker it is diagnostic. sent6: there is something such that the fact that it is not tarsal and it is a hunter is incorrect. sent7: the raisin does letter sonnet if the fact that the elision is a hematocele is correct. sent8: that something is a Germanic and it is a steelmaker is not true if the fact that it does not cloud self-absorption is not false. sent9: the opsonin is not non-Germanic if the humanities is a non-Germanic. sent10: the epicardium is not a scat. sent11: the opsonin is not a kind of a steelmaker if it is a hunter and it is a tarsal. sent12: if the epicardium is not a scat then the elision is a hematocele or is hemodynamic or both. sent13: if the raisin letters sonnet and is a bottle then it is not a kind of a hunter. sent14: the humanities is Germanic. sent15: the opsonin is not a steelmaker if it is both not a hunter and tarsal. sent16: the fact that the elision is not a hunter is not incorrect if there exists something such that the fact that it is a kind of non-tarsal a hunter is false. sent17: the raisin is a bottle and penal. sent18: if there exists something such that it does letter sonnet and it is a kind of a scat the envelope is not diagnostic. sent19: if the raisin is not a kind of a hunter the opsonin is not a hunter. sent20: if the opsonin is a Germanic but it is not a steelmaker the envelope clouds self-absorption. sent21: the fact that the raisin does letter sonnet hold if the elision is hemodynamic.
sent12 & sent10 -> int1: either the elision is a kind of a hematocele or it is hemodynamic or both.; int1 & sent7 & sent21 -> int2: the raisin letters sonnet.; sent17 -> int3: the raisin bottles.; int2 & int3 -> int4: the raisin does letter sonnet and is a bottle.; int4 & sent13 -> int5: the raisin is not a kind of a hunter.; int5 & sent4 -> int6: the opsonin is not a hunter but it is a tarsal.; int6 & sent15 -> int7: the opsonin is not a steelmaker.; sent9 & sent14 -> int8: the opsonin is a kind of a Germanic.; int7 & int8 -> int9: the opsonin is Germanic but it is not a steelmaker.; int9 & sent20 -> int10: the envelope clouds self-absorption.;
the envelope is not diagnostic.
sent6 & sent16 -> int11: the elision is not a hunter.; sent2 & int11 -> int12: the epicardium is a bottle and letters sonnet.; int12 -> int13: the epicardium letters sonnet.; sent8 -> int14: if the opsonin does not cloud self-absorption the fact that it is Germanic and a steelmaker is wrong.;
$hypothesis$ = the envelope is diagnostic. ; $context$ = sent1: the opsonin is not a hunter. sent2: the epicardium is a kind of a bottle that does letter sonnet if the elision is not a hunter. sent3: the raisin is penal. sent4: if the raisin is not a hunter then the opsonin is not a hunter and is a kind of a tarsal. sent5: if the opsonin is a kind of a steelmaker it is diagnostic. sent6: there is something such that the fact that it is not tarsal and it is a hunter is incorrect. sent7: the raisin does letter sonnet if the fact that the elision is a hematocele is correct. sent8: that something is a Germanic and it is a steelmaker is not true if the fact that it does not cloud self-absorption is not false. sent9: the opsonin is not non-Germanic if the humanities is a non-Germanic. sent10: the epicardium is not a scat. sent11: the opsonin is not a kind of a steelmaker if it is a hunter and it is a tarsal. sent12: if the epicardium is not a scat then the elision is a hematocele or is hemodynamic or both. sent13: if the raisin letters sonnet and is a bottle then it is not a kind of a hunter. sent14: the humanities is Germanic. sent15: the opsonin is not a steelmaker if it is both not a hunter and tarsal. sent16: the fact that the elision is not a hunter is not incorrect if there exists something such that the fact that it is a kind of non-tarsal a hunter is false. sent17: the raisin is a bottle and penal. sent18: if there exists something such that it does letter sonnet and it is a kind of a scat the envelope is not diagnostic. sent19: if the raisin is not a kind of a hunter the opsonin is not a hunter. sent20: if the opsonin is a Germanic but it is not a steelmaker the envelope clouds self-absorption. sent21: the fact that the raisin does letter sonnet hold if the elision is hemodynamic. ; $proof$ = 
sent12 & sent10 -> int1: either the elision is a kind of a hematocele or it is hemodynamic or both.; int1 & sent7 & sent21 -> int2: the raisin letters sonnet.; sent17 -> int3: the raisin bottles.; int2 & int3 -> int4: the raisin does letter sonnet and is a bottle.; int4 & sent13 -> int5: the raisin is not a kind of a hunter.; int5 & sent4 -> int6: the opsonin is not a hunter but it is a tarsal.; int6 & sent15 -> int7: the opsonin is not a steelmaker.; sent9 & sent14 -> int8: the opsonin is a kind of a Germanic.; int7 & int8 -> int9: the opsonin is Germanic but it is not a steelmaker.; int9 & sent20 -> int10: the envelope clouds self-absorption.; __UNKNOWN__