the eye is not probabilistic and is not a kind of a mycomycin.
sent1: The ferricyanide narrows forget-me-not. sent2: if there is something such that the fact that it does not relate and is a lumpfish is false the elver relate. sent3: if something does crumble that it is allergic and it is not anatropous is true. sent4: if that the matchmaker is not a mycomycin and it does not crumble is not true the fact that it is a mycomycin is not false. sent5: the elver narrows Segway. sent6: that the eye is not probabilistic and it is not a mycomycin does not hold if the forget-me-not does not narrow ferricyanide. sent7: if the matchmaker is probabilistic then the eye is not probabilistic and it is not a mycomycin. sent8: the matchmaker does culminate but it is not a kind of a Sternotherus if it is not revolutionary. sent9: something is probabilistic if that it is not non-allergic is not false. sent10: the eye is not probabilistic. sent11: there exists something such that it is anatropous. sent12: if the matchmaker is probabilistic then the eye is not probabilistic. sent13: if something that narrows ferricyanide is anatropous the fact that the matchmaker is allergic hold. sent14: there is something such that it narrows ferricyanide. sent15: the forget-me-not does crumble if the matchmaker does culminate. sent16: that the matchmaker is both not probabilistic and allergic is false if it is a kind of a mycomycin. sent17: something does not narrow ferricyanide if it is allergic and it is non-anatropous. sent18: the forget-me-not narrows ferricyanide. sent19: that the megaphone does not relate and is a kind of a lumpfish is incorrect. sent20: if the forget-me-not is not allergic then the alga is not allergic.
sent9 -> int1: the matchmaker is probabilistic if it is allergic.;
that the alga is anatropous is true.
$hypothesis$ = the eye is not probabilistic and is not a kind of a mycomycin. ; $context$ = sent1: The ferricyanide narrows forget-me-not. sent2: if there is something such that the fact that it does not relate and is a lumpfish is false the elver relate. sent3: if something does crumble that it is allergic and it is not anatropous is true. sent4: if that the matchmaker is not a mycomycin and it does not crumble is not true the fact that it is a mycomycin is not false. sent5: the elver narrows Segway. sent6: that the eye is not probabilistic and it is not a mycomycin does not hold if the forget-me-not does not narrow ferricyanide. sent7: if the matchmaker is probabilistic then the eye is not probabilistic and it is not a mycomycin. sent8: the matchmaker does culminate but it is not a kind of a Sternotherus if it is not revolutionary. sent9: something is probabilistic if that it is not non-allergic is not false. sent10: the eye is not probabilistic. sent11: there exists something such that it is anatropous. sent12: if the matchmaker is probabilistic then the eye is not probabilistic. sent13: if something that narrows ferricyanide is anatropous the fact that the matchmaker is allergic hold. sent14: there is something such that it narrows ferricyanide. sent15: the forget-me-not does crumble if the matchmaker does culminate. sent16: that the matchmaker is both not probabilistic and allergic is false if it is a kind of a mycomycin. sent17: something does not narrow ferricyanide if it is allergic and it is non-anatropous. sent18: the forget-me-not narrows ferricyanide. sent19: that the megaphone does not relate and is a kind of a lumpfish is incorrect. sent20: if the forget-me-not is not allergic then the alga is not allergic. ; $proof$ = 
sent9 -> int1: the matchmaker is probabilistic if it is allergic.; __UNKNOWN__