that the Bursa is a Ono and does not excise neurolinguist does not hold if the cocker is a literate.
sent1: something is a kind of gynecological thing that is not a fiver if it does not stigmatize circumscription. sent2: that the Bursa does perplex smasher and does excise neurolinguist is not right. sent3: the fact that the Bursa is both a Ono and not azonal does not hold. sent4: the Bursa is not gynecological. sent5: the fact that the Bursa is unofficial and does not stigmatize circumscription does not hold. sent6: the cocker is marly. sent7: if something that stigmatizes circumscription perplexes smasher then it is not a literate. sent8: the cocker is not non-gynecological if it does not stigmatize circumscription. sent9: the Bursa is a kind of a Ono but it does not excise neurolinguist. sent10: the zebrawood is gynecological. sent11: if the cocker is not a fiver the fact that the Bursa is a kind of a Ono but it does not excise neurolinguist is false. sent12: the furrow is not a kind of a fiver.
void -> assump1: Let's assume that the cocker stigmatizes circumscription.; sent7 -> int1: the cocker is not a literate if it does stigmatize circumscription and it perplexes smasher.; void -> assump2: Let's assume that the cocker is a kind of a literate.; sent1 -> int2: if the cocker does not stigmatize circumscription it is gynecological and it is not a kind of a fiver.;
$hypothesis$ = that the Bursa is a Ono and does not excise neurolinguist does not hold if the cocker is a literate. ; $context$ = sent1: something is a kind of gynecological thing that is not a fiver if it does not stigmatize circumscription. sent2: that the Bursa does perplex smasher and does excise neurolinguist is not right. sent3: the fact that the Bursa is both a Ono and not azonal does not hold. sent4: the Bursa is not gynecological. sent5: the fact that the Bursa is unofficial and does not stigmatize circumscription does not hold. sent6: the cocker is marly. sent7: if something that stigmatizes circumscription perplexes smasher then it is not a literate. sent8: the cocker is not non-gynecological if it does not stigmatize circumscription. sent9: the Bursa is a kind of a Ono but it does not excise neurolinguist. sent10: the zebrawood is gynecological. sent11: if the cocker is not a fiver the fact that the Bursa is a kind of a Ono but it does not excise neurolinguist is false. sent12: the furrow is not a kind of a fiver. ; $proof$ = 
void -> assump1: Let's assume that the cocker stigmatizes circumscription.; sent7 -> int1: the cocker is not a literate if it does stigmatize circumscription and it perplexes smasher.; void -> assump2: Let's assume that the cocker is a kind of a literate.; sent1 -> int2: if the cocker does not stigmatize circumscription it is gynecological and it is not a kind of a fiver.; __UNKNOWN__