the left-hander is not a kind of a Rhinobatidae.
sent1: if the crus careens the trustee is exodontics. sent2: the fact that the crus does not careen and is onstage does not hold. sent3: if the trustee is not non-exodontics the tableland is a Lubavitch. sent4: the euphonium is not a kind of a Lubavitch. sent5: the left-hander is not onstage. sent6: something is not a gladiolus but it does careen if it is not exodontics. sent7: that the trustee is not exodontics but a Rhinobatidae is false. sent8: the trustee is not non-onstage if the euphonium is not non-exodontics. sent9: that the tableland is not a gladiolus and is a Lubavitch is false. sent10: the startle is not a Lubavitch. sent11: that the left-hander is not a gladiolus hold. sent12: if the euphonium is not onstage then the left-hander is not a Rhinobatidae. sent13: the left-hander is not rabbinical. sent14: the trustee careens. sent15: if the left-hander is not onstage then the euphonium is not a Rhinobatidae. sent16: the trustee is proprietary. sent17: the left-hander is not exodontics. sent18: the tableland is not a gladiolus. sent19: the fact that the crus is not onstage but it does careen is incorrect. sent20: the crus is not a Rhinobatidae. sent21: that the euphonium is not onstage but it careens is wrong.
void -> assump1: Let's assume that the crus does careen.; sent1 & assump1 -> int1: the trustee is exodontics.; int1 & sent3 -> int2: the tableland is a Lubavitch.; int2 & sent18 -> int3: the tableland is not a kind of a gladiolus but it is a Lubavitch.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the crus does not careen.;
the euphonium is not a gladiolus.
sent6 -> int6: if the fact that the euphonium is not exodontics is correct it is not a gladiolus and it does careen.;
$hypothesis$ = the left-hander is not a kind of a Rhinobatidae. ; $context$ = sent1: if the crus careens the trustee is exodontics. sent2: the fact that the crus does not careen and is onstage does not hold. sent3: if the trustee is not non-exodontics the tableland is a Lubavitch. sent4: the euphonium is not a kind of a Lubavitch. sent5: the left-hander is not onstage. sent6: something is not a gladiolus but it does careen if it is not exodontics. sent7: that the trustee is not exodontics but a Rhinobatidae is false. sent8: the trustee is not non-onstage if the euphonium is not non-exodontics. sent9: that the tableland is not a gladiolus and is a Lubavitch is false. sent10: the startle is not a Lubavitch. sent11: that the left-hander is not a gladiolus hold. sent12: if the euphonium is not onstage then the left-hander is not a Rhinobatidae. sent13: the left-hander is not rabbinical. sent14: the trustee careens. sent15: if the left-hander is not onstage then the euphonium is not a Rhinobatidae. sent16: the trustee is proprietary. sent17: the left-hander is not exodontics. sent18: the tableland is not a gladiolus. sent19: the fact that the crus is not onstage but it does careen is incorrect. sent20: the crus is not a Rhinobatidae. sent21: that the euphonium is not onstage but it careens is wrong. ; $proof$ = 
void -> assump1: Let's assume that the crus does careen.; sent1 & assump1 -> int1: the trustee is exodontics.; int1 & sent3 -> int2: the tableland is a Lubavitch.; int2 & sent18 -> int3: the tableland is not a kind of a gladiolus but it is a Lubavitch.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the crus does not careen.; __UNKNOWN__