the fact that the amine is not a phrenologist but it is keyless is false.
sent1: the fact that the Elinvar is a Demotic and is keyless is not true if the amine is a kind of a Demotic. sent2: that either the Junker is not a jog or it wraps divvy or both is not true. sent3: if the quoter does wrap divvy the sealant is unicameral. sent4: there exists nothing such that it does not hunger truck and/or is a kind of a Demotic. sent5: if the sealant is a phrenologist the fact that the amine is not a phrenologist but it is keyless is incorrect. sent6: if the Elinvar is minus the quoter wraps divvy. sent7: the Elinvar is keyless. sent8: the fact that the amine is both a phrenologist and keyless is false. sent9: that the sealant is unicameral but it is not a phrenologist is not correct. sent10: if that either the Elinvar hungers truck or it is a kind of a Demotic or both is not correct then it is minus.
sent4 -> int1: the fact that the Elinvar does not hunger truck and/or is Demotic is wrong.;
$hypothesis$ = the fact that the amine is not a phrenologist but it is keyless is false. ; $context$ = sent1: the fact that the Elinvar is a Demotic and is keyless is not true if the amine is a kind of a Demotic. sent2: that either the Junker is not a jog or it wraps divvy or both is not true. sent3: if the quoter does wrap divvy the sealant is unicameral. sent4: there exists nothing such that it does not hunger truck and/or is a kind of a Demotic. sent5: if the sealant is a phrenologist the fact that the amine is not a phrenologist but it is keyless is incorrect. sent6: if the Elinvar is minus the quoter wraps divvy. sent7: the Elinvar is keyless. sent8: the fact that the amine is both a phrenologist and keyless is false. sent9: that the sealant is unicameral but it is not a phrenologist is not correct. sent10: if that either the Elinvar hungers truck or it is a kind of a Demotic or both is not correct then it is minus. ; $proof$ = 
sent4 -> int1: the fact that the Elinvar does not hunger truck and/or is Demotic is wrong.; __UNKNOWN__