there exists something such that if it is not a Egbert and does not leap larboard it is a Kartik.
sent1: there exists something such that if it is a Egbert and it does not leap larboard then it is a Kartik. sent2: the lion's-ear is aerodynamic if it is non-Neapolitan and it does not leap larboard. sent3: if the bismuth is a carminative that does not concrete then it does leap larboard. sent4: the lion's-ear is a kind of a Kartik if it is a kind of determinable thing that is not a lasiocampid. sent5: if something is not a trichloroethylene and not non-genetics it is a bonemeal. sent6: if something is a millenarianism that does not dangle alias it is genetics. sent7: if something is a kind of a Mancunian that is not a acyl the fact that it is not non-spermicidal is not wrong. sent8: if something is a kind of a Egbert that does not leap larboard it is a kind of a Kartik. sent9: if something is publishable but not a lunch it is a dale. sent10: if the lion's-ear is a carminative and is not a kind of a drizzle then it is a kind of a Egbert. sent11: there is something such that if it does not leap utensil and is a sultriness it is a kind of a chattel. sent12: if a non-anaphoric thing guggles methacholine then it leaps birdlime. sent13: the lion's-ear is a kind of a Kartik if it is not a kind of a Egbert and leaps larboard. sent14: if a kennel does not accompany it is a phi. sent15: if something that does not gleam is adducent then it is ammino. sent16: if something that is not a kind of a Egbert does not leap larboard then it is a Kartik. sent17: there is something such that if it is not a e-mail but a clocksmith it is on. sent18: if something that is not a belay is not agential it does shoplift.
sent16 -> int1: the lion's-ear is a kind of a Kartik if it is not a kind of a Egbert and does not leap larboard.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a Egbert and does not leap larboard it is a Kartik. ; $context$ = sent1: there exists something such that if it is a Egbert and it does not leap larboard then it is a Kartik. sent2: the lion's-ear is aerodynamic if it is non-Neapolitan and it does not leap larboard. sent3: if the bismuth is a carminative that does not concrete then it does leap larboard. sent4: the lion's-ear is a kind of a Kartik if it is a kind of determinable thing that is not a lasiocampid. sent5: if something is not a trichloroethylene and not non-genetics it is a bonemeal. sent6: if something is a millenarianism that does not dangle alias it is genetics. sent7: if something is a kind of a Mancunian that is not a acyl the fact that it is not non-spermicidal is not wrong. sent8: if something is a kind of a Egbert that does not leap larboard it is a kind of a Kartik. sent9: if something is publishable but not a lunch it is a dale. sent10: if the lion's-ear is a carminative and is not a kind of a drizzle then it is a kind of a Egbert. sent11: there is something such that if it does not leap utensil and is a sultriness it is a kind of a chattel. sent12: if a non-anaphoric thing guggles methacholine then it leaps birdlime. sent13: the lion's-ear is a kind of a Kartik if it is not a kind of a Egbert and leaps larboard. sent14: if a kennel does not accompany it is a phi. sent15: if something that does not gleam is adducent then it is ammino. sent16: if something that is not a kind of a Egbert does not leap larboard then it is a Kartik. sent17: there is something such that if it is not a e-mail but a clocksmith it is on. sent18: if something that is not a belay is not agential it does shoplift. ; $proof$ = 
sent16 -> int1: the lion's-ear is a kind of a Kartik if it is not a kind of a Egbert and does not leap larboard.; int1 -> hypothesis; __PROVED__