there exists something such that if it does prey Ephedraceae and it is a radical then it is not a kind of a Michener.
sent1: there is something such that if it does indemnify and does intensify Sarda then it is not basidial. sent2: the embassy is a Michener if it does prey Ephedraceae and is a radical. sent3: there is something such that if it is a standee and juiceless then it is not a kind of a struggling. sent4: the embassy is not air-to-surface if it intensifies Antedonidae and is a kind of a Michener. sent5: if something is bibliomaniacal and shrinkable then it does not intensify Janissary. sent6: there exists something such that if it does prey Ephedraceae and it is radical then it is a Michener. sent7: if the embassy does prey Ephedraceae and is a kind of a radical then it is not a Michener.
sent7 -> hypothesis;
there exists something such that if it is bibliomaniacal and shrinkable then it does not intensify Janissary.
sent5 -> int1: the Janissary does not intensify Janissary if it is bibliomaniacal thing that is not unshrinkable.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it does prey Ephedraceae and it is a radical then it is not a kind of a Michener. ; $context$ = sent1: there is something such that if it does indemnify and does intensify Sarda then it is not basidial. sent2: the embassy is a Michener if it does prey Ephedraceae and is a radical. sent3: there is something such that if it is a standee and juiceless then it is not a kind of a struggling. sent4: the embassy is not air-to-surface if it intensifies Antedonidae and is a kind of a Michener. sent5: if something is bibliomaniacal and shrinkable then it does not intensify Janissary. sent6: there exists something such that if it does prey Ephedraceae and it is radical then it is a Michener. sent7: if the embassy does prey Ephedraceae and is a kind of a radical then it is not a Michener. ; $proof$ = 
sent7 -> hypothesis; __PROVED__