there is something such that if it is unproductive but not nonpregnant then it is a bacchante.
sent1: if something that does acculturate is not nonpregnant then it is a Alisma. sent2: if something is a toss but it does not specialize the fact that it is intelligent is right. sent3: if the immune is a Irrawaddy and is not nonpregnant then it is a kind of a anopheline. sent4: if something is a cranny and not nonpregnant it is a kind of a gallinacean. sent5: the immune does illuminate if it is a counterbalance and it is not a kind of a mangosteen. sent6: there exists something such that if it is unproductive and nonpregnant then it is a bacchante. sent7: there exists something such that if it does number ecclesiasticism and is not a kitchenware then it is a tribesman. sent8: if the immune is both unproductive and pregnant then the fact that it is a bacchante hold. sent9: if the immune is unproductive and is nonpregnant then it is a bacchante. sent10: if the Lucite is nonpregnant and is not a semi-climber it is subsequent.
sent8 -> hypothesis;
if the converter is a cranny but it is not nonpregnant it is a gallinacean.
sent4 -> hypothesis;
$hypothesis$ = there is something such that if it is unproductive but not nonpregnant then it is a bacchante. ; $context$ = sent1: if something that does acculturate is not nonpregnant then it is a Alisma. sent2: if something is a toss but it does not specialize the fact that it is intelligent is right. sent3: if the immune is a Irrawaddy and is not nonpregnant then it is a kind of a anopheline. sent4: if something is a cranny and not nonpregnant it is a kind of a gallinacean. sent5: the immune does illuminate if it is a counterbalance and it is not a kind of a mangosteen. sent6: there exists something such that if it is unproductive and nonpregnant then it is a bacchante. sent7: there exists something such that if it does number ecclesiasticism and is not a kitchenware then it is a tribesman. sent8: if the immune is both unproductive and pregnant then the fact that it is a bacchante hold. sent9: if the immune is unproductive and is nonpregnant then it is a bacchante. sent10: if the Lucite is nonpregnant and is not a semi-climber it is subsequent. ; $proof$ = 
sent8 -> hypothesis; __PROVED__