there is something such that if it is non-genealogic then it is Slovakian and it is not non-adventitial.
sent1: the perpendicular is a kind of a solitaire that is a obviation if it is not genealogic. sent2: there exists something such that if it is not genealogic then it is adventitial. sent3: there exists something such that if it is not a redeposition the fact that it does reschedule debarkation hold. sent4: there exists something such that if it is not genealogic then it is Slovakian. sent5: something is a kind of a Menelaus and it is a Dickinson if it does not reschedule histogram. sent6: the perpendicular is a kind of a diamante and it is adventitial if that it does not crossbreed legitimacy is right. sent7: the perpendicular is Slovakian and is adventitial if it is genealogic. sent8: the originator is adventitial if the fact that it is not chromatographic is correct. sent9: if the perpendicular is not genealogic then it is Slovakian. sent10: if something is not a crossbill then it is a yang and it is an endocrinologist. sent11: there is something such that if it does not crossbreed axseed it is a kind of a spouter. sent12: if something is not a Hyracotherium then it is a kind of a Isopyrum and is a Rus. sent13: if something is genealogic then it is Slovakian and it is adventitial. sent14: if something is nonpasserine it crossbreeds anarchy and is a kind of a Dickinson. sent15: the poppy is a low and it is adventitial if it is not coarse. sent16: there exists something such that if it is not frivolous then it is vesical and Piagetian. sent17: there exists something such that if it is genealogic then it is both not non-Slovakian and adventitial. sent18: something is a kind of a trend-setter and it is idiomatic if it is not evolutionary. sent19: something is Mercurial and it is tubeless if it is not philatelic.
there is something such that if it does not reschedule histogram it is a Menelaus and is a Dickinson.
sent5 -> int1: if the fact that the axseed does not reschedule histogram is right it is a Menelaus and it is a Dickinson.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is non-genealogic then it is Slovakian and it is not non-adventitial. ; $context$ = sent1: the perpendicular is a kind of a solitaire that is a obviation if it is not genealogic. sent2: there exists something such that if it is not genealogic then it is adventitial. sent3: there exists something such that if it is not a redeposition the fact that it does reschedule debarkation hold. sent4: there exists something such that if it is not genealogic then it is Slovakian. sent5: something is a kind of a Menelaus and it is a Dickinson if it does not reschedule histogram. sent6: the perpendicular is a kind of a diamante and it is adventitial if that it does not crossbreed legitimacy is right. sent7: the perpendicular is Slovakian and is adventitial if it is genealogic. sent8: the originator is adventitial if the fact that it is not chromatographic is correct. sent9: if the perpendicular is not genealogic then it is Slovakian. sent10: if something is not a crossbill then it is a yang and it is an endocrinologist. sent11: there is something such that if it does not crossbreed axseed it is a kind of a spouter. sent12: if something is not a Hyracotherium then it is a kind of a Isopyrum and is a Rus. sent13: if something is genealogic then it is Slovakian and it is adventitial. sent14: if something is nonpasserine it crossbreeds anarchy and is a kind of a Dickinson. sent15: the poppy is a low and it is adventitial if it is not coarse. sent16: there exists something such that if it is not frivolous then it is vesical and Piagetian. sent17: there exists something such that if it is genealogic then it is both not non-Slovakian and adventitial. sent18: something is a kind of a trend-setter and it is idiomatic if it is not evolutionary. sent19: something is Mercurial and it is tubeless if it is not philatelic. ; $proof$ = 
__UNKNOWN__