there exists something such that if it does cushion or does not dwindle or both then it is not a kind of a Leymus.
sent1: if that something is cataclinal and/or it is not likable hold it does sit. sent2: something is not holy if it is paradigmatic and/or is not gyral. sent3: there exists something such that if it is a jerk or it is not Peloponnesian or both then it does not reopen allogamy. sent4: something that is an overhang or is not a Arcidae or both is not a kind of a scent. sent5: if the wainscot either is a kind of a Heterotheca or is not bottomless or both then it does dwindle. sent6: if something expenses woodcarver and/or does not concern skep then it does cart. sent7: if something is a cushion and/or does not dwindle then that it is not a kind of a Leymus is right. sent8: the orthoptist is not a Leymus if it does not concern nativeness. sent9: if the rhizopod is a Leymus and/or it does not concern hemin then it is not dyslexic. sent10: the orthoptist is not a hornpout if it is a kind of a barbarization and/or it is not gastrointestinal. sent11: the orthoptist is a Leymus if it does cushion and/or it does not dwindle. sent12: if something is abolitionary or it is not a Pithecanthropus or both then the fact that it is not unattractive is not incorrect. sent13: there exists something such that if it approves and/or is not a aecium then it is not diligent. sent14: something is lithomantic if it is not non-anatomic or not a Pithecanthropus or both. sent15: the orthoptist is cared-for if it is a kind of a Leymus and/or is not a Irish. sent16: if something does shampoo darnel and/or it does not expense message it is not a kind of a jerk. sent17: the orthoptist is not astronautic if the fact that it is not a Lugosi is right. sent18: there is something such that if it is not gyral then it does not expense Frankliniella.
sent7 -> int1: if either the orthoptist is a cushion or it does not dwindle or both then it is not a Leymus.; int1 -> hypothesis;
there exists something such that if it is paradigmatic and/or is not gyral it is not holy.
sent2 -> int2: the woodcarver is not holy if it is paradigmatic and/or it is not gyral.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if it does cushion or does not dwindle or both then it is not a kind of a Leymus. ; $context$ = sent1: if that something is cataclinal and/or it is not likable hold it does sit. sent2: something is not holy if it is paradigmatic and/or is not gyral. sent3: there exists something such that if it is a jerk or it is not Peloponnesian or both then it does not reopen allogamy. sent4: something that is an overhang or is not a Arcidae or both is not a kind of a scent. sent5: if the wainscot either is a kind of a Heterotheca or is not bottomless or both then it does dwindle. sent6: if something expenses woodcarver and/or does not concern skep then it does cart. sent7: if something is a cushion and/or does not dwindle then that it is not a kind of a Leymus is right. sent8: the orthoptist is not a Leymus if it does not concern nativeness. sent9: if the rhizopod is a Leymus and/or it does not concern hemin then it is not dyslexic. sent10: the orthoptist is not a hornpout if it is a kind of a barbarization and/or it is not gastrointestinal. sent11: the orthoptist is a Leymus if it does cushion and/or it does not dwindle. sent12: if something is abolitionary or it is not a Pithecanthropus or both then the fact that it is not unattractive is not incorrect. sent13: there exists something such that if it approves and/or is not a aecium then it is not diligent. sent14: something is lithomantic if it is not non-anatomic or not a Pithecanthropus or both. sent15: the orthoptist is cared-for if it is a kind of a Leymus and/or is not a Irish. sent16: if something does shampoo darnel and/or it does not expense message it is not a kind of a jerk. sent17: the orthoptist is not astronautic if the fact that it is not a Lugosi is right. sent18: there is something such that if it is not gyral then it does not expense Frankliniella. ; $proof$ = 
sent7 -> int1: if either the orthoptist is a cushion or it does not dwindle or both then it is not a Leymus.; int1 -> hypothesis; __PROVED__