the stairwell is not a kind of a tree.
sent1: the voyager is synclinal and it rafters follies. sent2: the voyager is a draped. sent3: the voyager rafters hair-raiser and squeegees birthroot. sent4: the voyager is intrinsic and is vestiary. sent5: something does rafter hair-raiser. sent6: the stairwell rafters hair-raiser. sent7: something does rafter hair-raiser and does tree if it does not squeegee birthroot. sent8: the ally squeegees birthroot. sent9: the voyager is not a tree. sent10: the Champaign is intrinsic. sent11: the voyager does squeegee birthroot. sent12: the stairwell does not overwhelm if something is a chromosphere and it is a kind of a crosscut. sent13: something is illogical. sent14: the deadlight rafters hair-raiser. sent15: the stairwell is not vestiary if something that is intrinsic does tree. sent16: the stairwell is a nucleosynthesis and it is a kind of a desorption.
sent3 -> int1: the voyager does rafter hair-raiser.; sent4 -> int2: the voyager is intrinsic.; int1 & int2 -> int3: the voyager does rafter hair-raiser and is intrinsic.; int3 -> int4: there is something such that it does rafter hair-raiser and is intrinsic.;
the stairwell is a tree.
sent7 -> int5: if the stairwell does not squeegee birthroot then it does rafter hair-raiser and is a kind of a tree.;
$hypothesis$ = the stairwell is not a kind of a tree. ; $context$ = sent1: the voyager is synclinal and it rafters follies. sent2: the voyager is a draped. sent3: the voyager rafters hair-raiser and squeegees birthroot. sent4: the voyager is intrinsic and is vestiary. sent5: something does rafter hair-raiser. sent6: the stairwell rafters hair-raiser. sent7: something does rafter hair-raiser and does tree if it does not squeegee birthroot. sent8: the ally squeegees birthroot. sent9: the voyager is not a tree. sent10: the Champaign is intrinsic. sent11: the voyager does squeegee birthroot. sent12: the stairwell does not overwhelm if something is a chromosphere and it is a kind of a crosscut. sent13: something is illogical. sent14: the deadlight rafters hair-raiser. sent15: the stairwell is not vestiary if something that is intrinsic does tree. sent16: the stairwell is a nucleosynthesis and it is a kind of a desorption. ; $proof$ = 
sent3 -> int1: the voyager does rafter hair-raiser.; sent4 -> int2: the voyager is intrinsic.; int1 & int2 -> int3: the voyager does rafter hair-raiser and is intrinsic.; int3 -> int4: there is something such that it does rafter hair-raiser and is intrinsic.; __UNKNOWN__