the Ovrette is not pro-life.
sent1: something is not piezoelectric if it is pro-life and it is not a kind of a Micrurus. sent2: if the Ovrette is not unholy it is a Ohioan. sent3: a Ohioan that is not non-piezoelectric is not pro-life. sent4: the Ovrette does not astringe. sent5: something goads. sent6: there exists something such that the fact that it is not gnostic and/or is not a diapedesis is not correct. sent7: if there exists something such that the fact that it is either not gnostic or not a diapedesis or both is not right then the Ovrette is holy. sent8: the Ovrette is not a kind of a diapedesis. sent9: something that proselytizes is a kind of pro-life thing that is not a Micrurus.
sent6 & sent7 -> int1: the Ovrette is holy.; int1 & sent2 -> int2: the Ovrette is a Ohioan.; sent3 -> int3: if the Ovrette is a Ohioan and it is piezoelectric then it is not pro-life.;
the smilax is holy.
sent1 -> int4: the Ovrette is not piezoelectric if it is pro-life and is not a kind of a Micrurus.; sent9 -> int5: the Ovrette is a kind of pro-life thing that is not a Micrurus if it proselytizes.;
$hypothesis$ = the Ovrette is not pro-life. ; $context$ = sent1: something is not piezoelectric if it is pro-life and it is not a kind of a Micrurus. sent2: if the Ovrette is not unholy it is a Ohioan. sent3: a Ohioan that is not non-piezoelectric is not pro-life. sent4: the Ovrette does not astringe. sent5: something goads. sent6: there exists something such that the fact that it is not gnostic and/or is not a diapedesis is not correct. sent7: if there exists something such that the fact that it is either not gnostic or not a diapedesis or both is not right then the Ovrette is holy. sent8: the Ovrette is not a kind of a diapedesis. sent9: something that proselytizes is a kind of pro-life thing that is not a Micrurus. ; $proof$ = 
sent6 & sent7 -> int1: the Ovrette is holy.; int1 & sent2 -> int2: the Ovrette is a Ohioan.; sent3 -> int3: if the Ovrette is a Ohioan and it is piezoelectric then it is not pro-life.; __UNKNOWN__