that the e is pilar is not false.
sent1: the e is a Jacobi. sent2: the structure is not non-pilar. sent3: the fact that something is not a Wolof and is not natriuretic is not correct if it does peck Gascogne. sent4: if the assignee does peck epiphenomenon that the structure does peck epiphenomenon hold. sent5: the etamine is a kind of a siding. sent6: the e does mound. sent7: the etamine is pilar if the e is adient. sent8: the e does not peck epiphenomenon. sent9: the assignee is a kind of a Wolof or it does peck epiphenomenon or both. sent10: the fact that the gunmetal does peck epiphenomenon is right. sent11: the fact that the epiphenomenon is a kind of a pseudoscience is right. sent12: the etamine does not peck epiphenomenon and is a kind of a siding. sent13: if the etamine is not siding then the e is pilar. sent14: the assignee is lymphoid if the epiphenomenon is a kind of a fib but it is not lymphoid. sent15: the epiphenomenon is a fib that is not lymphoid if it is a kind of a covert. sent16: if something is lymphoid then it pecks Gascogne. sent17: if the structure does peck epiphenomenon then the etamine is a Jacobi. sent18: if the epiphenomenon is a pseudoscience then it is a covert. sent19: the etamine is not pilar if it is not siding and is adient. sent20: the assignee is a Jacobi. sent21: the etamine pecks epiphenomenon or it sides or both. sent22: something that is both not adient and not non-siding is not a kind of a Jacobi. sent23: the structure pecks epiphenomenon if the assignee is a Wolof.
sent22 -> int1: if the etamine is not adient but it is not non-siding it is not a Jacobi.; void -> assump1: Let's assume that the etamine is both not adient and siding.; int1 & assump1 -> int2: the etamine is not a Jacobi.; sent9 & sent23 & sent4 -> int3: the structure pecks epiphenomenon.; sent17 & int3 -> int4: the etamine is a kind of a Jacobi.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the etamine is not adient but it is a siding does not hold.;
the e is not pilar.
sent3 -> int7: that the assignee is not a Wolof and it is not natriuretic is incorrect if it pecks Gascogne.; sent16 -> int8: if the assignee is lymphoid it pecks Gascogne.; sent18 & sent11 -> int9: the epiphenomenon is a covert.; sent15 & int9 -> int10: the epiphenomenon is a fib but it is not lymphoid.; sent14 & int10 -> int11: the assignee is lymphoid.; int8 & int11 -> int12: the assignee does peck Gascogne.; int7 & int12 -> int13: the fact that the assignee is not a Wolof and it is not natriuretic is false.; int13 -> int14: there is something such that the fact that that it is not a Wolof and not natriuretic is true is not correct.;
$hypothesis$ = that the e is pilar is not false. ; $context$ = sent1: the e is a Jacobi. sent2: the structure is not non-pilar. sent3: the fact that something is not a Wolof and is not natriuretic is not correct if it does peck Gascogne. sent4: if the assignee does peck epiphenomenon that the structure does peck epiphenomenon hold. sent5: the etamine is a kind of a siding. sent6: the e does mound. sent7: the etamine is pilar if the e is adient. sent8: the e does not peck epiphenomenon. sent9: the assignee is a kind of a Wolof or it does peck epiphenomenon or both. sent10: the fact that the gunmetal does peck epiphenomenon is right. sent11: the fact that the epiphenomenon is a kind of a pseudoscience is right. sent12: the etamine does not peck epiphenomenon and is a kind of a siding. sent13: if the etamine is not siding then the e is pilar. sent14: the assignee is lymphoid if the epiphenomenon is a kind of a fib but it is not lymphoid. sent15: the epiphenomenon is a fib that is not lymphoid if it is a kind of a covert. sent16: if something is lymphoid then it pecks Gascogne. sent17: if the structure does peck epiphenomenon then the etamine is a Jacobi. sent18: if the epiphenomenon is a pseudoscience then it is a covert. sent19: the etamine is not pilar if it is not siding and is adient. sent20: the assignee is a Jacobi. sent21: the etamine pecks epiphenomenon or it sides or both. sent22: something that is both not adient and not non-siding is not a kind of a Jacobi. sent23: the structure pecks epiphenomenon if the assignee is a Wolof. ; $proof$ = 
sent22 -> int1: if the etamine is not adient but it is not non-siding it is not a Jacobi.; void -> assump1: Let's assume that the etamine is both not adient and siding.; int1 & assump1 -> int2: the etamine is not a Jacobi.; sent9 & sent23 & sent4 -> int3: the structure pecks epiphenomenon.; sent17 & int3 -> int4: the etamine is a kind of a Jacobi.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the etamine is not adient but it is a siding does not hold.; __UNKNOWN__