the davallia preserves dripping.
sent1: something does not preserve eyeliner if that it preserve eyeliner and is grapelike is false. sent2: if something does not abjure Beta that it is both not a jostle and not unfamiliar is not true. sent3: that the cymene is unfamiliar but it does not preserve eyeliner is incorrect if there are non-unfamiliar things. sent4: that the cymene is grapelike and it is a kind of a gravity is wrong. sent5: the acanthion is not grapelike if the cymene is unfamiliar. sent6: the cymene does abjure Beta. sent7: the cymene is bromic. sent8: there is something such that it does not fade. sent9: something is not grapelike if the fact that it does not jostle and it is not unfamiliar is incorrect. sent10: the fact that the promisee does preserve eyeliner and it is grapelike is false if there exists something such that it is not grapelike. sent11: the cymene is not grapelike if the acanthion is both not a gravity and a stave. sent12: something does not blemish acanthion and is a kind of a splenomegaly. sent13: there is something such that that it is not non-carunculate and not bromic is wrong. sent14: if something is bromic and it does abjure Beta then that it does not jostle hold. sent15: the fact that the cymene does not preserve eyeliner hold. sent16: if there is something such that the fact that it is not a gravity and is a kind of a stave is not right then the davallia does not preserve dripping. sent17: the line is not unfamiliar. sent18: something that is not grapelike is unfamiliar and does not preserve eyeliner.
void -> assump1: Let's assume that the acanthion is not a gravity but a stave.; sent11 & assump1 -> int1: the cymene is not grapelike.; sent18 -> int2: if the cymene is not grapelike it is unfamiliar and it does not preserve eyeliner.; int1 & int2 -> int3: the cymene is not familiar and does not preserve eyeliner.; sent17 -> int4: there is something such that it is not unfamiliar.; int4 & sent3 -> int5: the fact that the cymene is unfamiliar and does not preserve eyeliner does not hold.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the acanthion is both not a gravity and a stave is not right.; int7 -> int8: there exists something such that the fact that it is not a gravity and it is a stave is not true.; int8 & sent16 -> hypothesis;
the promisee does not preserve eyeliner.
sent1 -> int9: if that the promisee does preserve eyeliner and is grapelike is not right then it does not preserve eyeliner.; sent14 -> int10: the cymene is not a kind of a jostle if it is a kind of bromic thing that abjures Beta.; sent7 & sent6 -> int11: the cymene is bromic and it does abjure Beta.; int10 & int11 -> int12: the cymene is not a jostle.;
$hypothesis$ = the davallia preserves dripping. ; $context$ = sent1: something does not preserve eyeliner if that it preserve eyeliner and is grapelike is false. sent2: if something does not abjure Beta that it is both not a jostle and not unfamiliar is not true. sent3: that the cymene is unfamiliar but it does not preserve eyeliner is incorrect if there are non-unfamiliar things. sent4: that the cymene is grapelike and it is a kind of a gravity is wrong. sent5: the acanthion is not grapelike if the cymene is unfamiliar. sent6: the cymene does abjure Beta. sent7: the cymene is bromic. sent8: there is something such that it does not fade. sent9: something is not grapelike if the fact that it does not jostle and it is not unfamiliar is incorrect. sent10: the fact that the promisee does preserve eyeliner and it is grapelike is false if there exists something such that it is not grapelike. sent11: the cymene is not grapelike if the acanthion is both not a gravity and a stave. sent12: something does not blemish acanthion and is a kind of a splenomegaly. sent13: there is something such that that it is not non-carunculate and not bromic is wrong. sent14: if something is bromic and it does abjure Beta then that it does not jostle hold. sent15: the fact that the cymene does not preserve eyeliner hold. sent16: if there is something such that the fact that it is not a gravity and is a kind of a stave is not right then the davallia does not preserve dripping. sent17: the line is not unfamiliar. sent18: something that is not grapelike is unfamiliar and does not preserve eyeliner. ; $proof$ = 
void -> assump1: Let's assume that the acanthion is not a gravity but a stave.; sent11 & assump1 -> int1: the cymene is not grapelike.; sent18 -> int2: if the cymene is not grapelike it is unfamiliar and it does not preserve eyeliner.; int1 & int2 -> int3: the cymene is not familiar and does not preserve eyeliner.; sent17 -> int4: there is something such that it is not unfamiliar.; int4 & sent3 -> int5: the fact that the cymene is unfamiliar and does not preserve eyeliner does not hold.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the acanthion is both not a gravity and a stave is not right.; int7 -> int8: there exists something such that the fact that it is not a gravity and it is a stave is not true.; int8 & sent16 -> hypothesis; __DISPROVED__