the stephanion is a Numididae.
sent1: if the involution is crude the fact that the Omaha is non-xeric thing that is crude does not hold. sent2: if the savior utilizes the hedger is not a Iberian. sent3: something is a kind of a shawny if it does not halve highflier and does not halve horticulturist. sent4: the stephanion is a Numididae if that the Omaha is non-xeric but it is crude is not true. sent5: the stephanion does not mortify. sent6: if the hedger is both not a Iberian and not a Jewess it does blister leotard. sent7: if the savior does halve horticulturist then it is a cirrocumulus. sent8: the savior does halve horticulturist if that it does not utilize is true. sent9: The leotard does not blister hedger. sent10: the involution is crude if the savior is a cirrocumulus. sent11: the fact that the Omaha is not non-xeric and it is crude is false. sent12: if the fact that the savior does utilize is correct then the hedger is a kind of non-Iberian thing that is not a Jewess.
void -> assump1: Let's assume that the savior does utilize.; sent12 & assump1 -> int1: the fact that the hedger is not a Iberian and it is not a Jewess is right.; int1 & sent6 -> int2: the hedger does blister leotard.;
the savior is a shawny if it does not halve highflier and does not halve horticulturist.
sent3 -> hypothesis;
$hypothesis$ = the stephanion is a Numididae. ; $context$ = sent1: if the involution is crude the fact that the Omaha is non-xeric thing that is crude does not hold. sent2: if the savior utilizes the hedger is not a Iberian. sent3: something is a kind of a shawny if it does not halve highflier and does not halve horticulturist. sent4: the stephanion is a Numididae if that the Omaha is non-xeric but it is crude is not true. sent5: the stephanion does not mortify. sent6: if the hedger is both not a Iberian and not a Jewess it does blister leotard. sent7: if the savior does halve horticulturist then it is a cirrocumulus. sent8: the savior does halve horticulturist if that it does not utilize is true. sent9: The leotard does not blister hedger. sent10: the involution is crude if the savior is a cirrocumulus. sent11: the fact that the Omaha is not non-xeric and it is crude is false. sent12: if the fact that the savior does utilize is correct then the hedger is a kind of non-Iberian thing that is not a Jewess. ; $proof$ = 
void -> assump1: Let's assume that the savior does utilize.; sent12 & assump1 -> int1: the fact that the hedger is not a Iberian and it is not a Jewess is right.; int1 & sent6 -> int2: the hedger does blister leotard.; __UNKNOWN__