the stairwell is not a Snead.
sent1: the nomad is a Uriah but it is not artful. sent2: the fact that if the stairwell does not pluck non-engagement then the stairwell is not a Snead is true. sent3: something is not a kind of a Snead if that it plucks non-engagement and is a discipleship is wrong. sent4: something is a Snead if it is a malmsey. sent5: the egotist is ictal if there exists something such that it is a bookbindery. sent6: there exists nothing such that it is phalangeal and it is unstuck. sent7: that the stairwell is a Snead and a futurity is not correct. sent8: if that the egotist is not a iodocompound and/or it is ictal is not incorrect the nomad is not a iodocompound. sent9: something is not a Kyrgyzstan if that it does not mark hollowness is not false. sent10: the AFP is not a crinoid but it sublimes if the spurner does not preoccupy egotist. sent11: something is a malmsey if it is vesical. sent12: if a Uriah is not artful it is not a convent. sent13: the fondue does not pluck non-engagement. sent14: there exists something such that it is a bookbindery. sent15: if the fact that the AFP is non-crinoid but it does sublime is not incorrect then the stairwell is not a primaquine. sent16: something does not pluck childhood if it does not preoccupy AFP. sent17: something that is not a primaquine is both greenside and vesical.
sent3 -> int1: the stairwell is not a Snead if that it plucks non-engagement and it is a discipleship is false.;
the stairwell is a Snead.
sent4 -> int2: the stairwell is a Snead if it is a malmsey.; sent11 -> int3: if the stairwell is vesical then it is a malmsey.; sent17 -> int4: that the stairwell is greenside and it is vesical is not false if it is not a kind of a primaquine.; sent14 & sent5 -> int5: the egotist is ictal.; int5 -> int6: the egotist is not a kind of a iodocompound or is ictal or both.; sent8 & int6 -> int7: the nomad is not a iodocompound.; sent12 -> int8: the nomad is not a kind of a convent if it is a Uriah that is non-artful.; int8 & sent1 -> int9: the nomad is not a convent.; int7 & int9 -> int10: the nomad is not a iodocompound and is not a convent.; int10 -> int11: something is not a iodocompound and is not a convent.;
$hypothesis$ = the stairwell is not a Snead. ; $context$ = sent1: the nomad is a Uriah but it is not artful. sent2: the fact that if the stairwell does not pluck non-engagement then the stairwell is not a Snead is true. sent3: something is not a kind of a Snead if that it plucks non-engagement and is a discipleship is wrong. sent4: something is a Snead if it is a malmsey. sent5: the egotist is ictal if there exists something such that it is a bookbindery. sent6: there exists nothing such that it is phalangeal and it is unstuck. sent7: that the stairwell is a Snead and a futurity is not correct. sent8: if that the egotist is not a iodocompound and/or it is ictal is not incorrect the nomad is not a iodocompound. sent9: something is not a Kyrgyzstan if that it does not mark hollowness is not false. sent10: the AFP is not a crinoid but it sublimes if the spurner does not preoccupy egotist. sent11: something is a malmsey if it is vesical. sent12: if a Uriah is not artful it is not a convent. sent13: the fondue does not pluck non-engagement. sent14: there exists something such that it is a bookbindery. sent15: if the fact that the AFP is non-crinoid but it does sublime is not incorrect then the stairwell is not a primaquine. sent16: something does not pluck childhood if it does not preoccupy AFP. sent17: something that is not a primaquine is both greenside and vesical. ; $proof$ = 
sent3 -> int1: the stairwell is not a Snead if that it plucks non-engagement and it is a discipleship is false.; __UNKNOWN__