the caseworker is not overhand.
sent1: the myrmecophile is not overhand but it is a kind of a graphospasm. sent2: the honeypot singularizes ratability. sent3: if something is a Lahu and it is nonindulgent then it is not virulent. sent4: if the honeypot is pacific then the restharrow is a polemic. sent5: the fact that something is not virulent and is overhand is false if it is a Geryon. sent6: if the honeypot singularizes ratability then it is pacific. sent7: the caseworker is non-Welsh if it repines Zeno. sent8: the caseworker is non-Welsh. sent9: the dog is a Lyra but it is not a Welsh if it is emphysematous. sent10: that something is not nonindulgent but it is overhand does not hold if it is Welsh. sent11: the caseworker is a Lahu. sent12: the bolo repines Zeno and it is a linguine. sent13: the caseworker does repine Zeno. sent14: the caseworker is a Geryon and is not a Welsh if it does repine Zeno. sent15: the fact that something is not Welsh and/or it repines Zeno is false if it is a polemic. sent16: The Zeno does repine caseworker.
sent3 -> int1: if the caseworker is a Lahu and is nonindulgent then it is not virulent.; void -> assump1: Let's assume that the caseworker is overhand.; sent5 -> int2: the fact that the caseworker is not virulent but overhand is wrong if that it is a Geryon is correct.; sent14 & sent13 -> int3: the caseworker is a kind of a Geryon that is not a kind of a Welsh.; int3 -> int4: the caseworker is a kind of a Geryon.; int2 & int4 -> int5: the fact that the caseworker is both not virulent and overhand is incorrect.;
that the caseworker is overhand hold.
sent15 -> int6: if the restharrow is a kind of a polemic then that it is not Welsh or repines Zeno or both does not hold.; sent6 & sent2 -> int7: the honeypot is pacific.; sent4 & int7 -> int8: the restharrow is a kind of a polemic.; int6 & int8 -> int9: that the restharrow is not a kind of a Welsh and/or it repines Zeno is not right.; int9 -> int10: there is something such that that it is not Welsh or it does repine Zeno or both is wrong.;
$hypothesis$ = the caseworker is not overhand. ; $context$ = sent1: the myrmecophile is not overhand but it is a kind of a graphospasm. sent2: the honeypot singularizes ratability. sent3: if something is a Lahu and it is nonindulgent then it is not virulent. sent4: if the honeypot is pacific then the restharrow is a polemic. sent5: the fact that something is not virulent and is overhand is false if it is a Geryon. sent6: if the honeypot singularizes ratability then it is pacific. sent7: the caseworker is non-Welsh if it repines Zeno. sent8: the caseworker is non-Welsh. sent9: the dog is a Lyra but it is not a Welsh if it is emphysematous. sent10: that something is not nonindulgent but it is overhand does not hold if it is Welsh. sent11: the caseworker is a Lahu. sent12: the bolo repines Zeno and it is a linguine. sent13: the caseworker does repine Zeno. sent14: the caseworker is a Geryon and is not a Welsh if it does repine Zeno. sent15: the fact that something is not Welsh and/or it repines Zeno is false if it is a polemic. sent16: The Zeno does repine caseworker. ; $proof$ = 
sent3 -> int1: if the caseworker is a Lahu and is nonindulgent then it is not virulent.; void -> assump1: Let's assume that the caseworker is overhand.; sent5 -> int2: the fact that the caseworker is not virulent but overhand is wrong if that it is a Geryon is correct.; sent14 & sent13 -> int3: the caseworker is a kind of a Geryon that is not a kind of a Welsh.; int3 -> int4: the caseworker is a kind of a Geryon.; int2 & int4 -> int5: the fact that the caseworker is both not virulent and overhand is incorrect.; __UNKNOWN__