if the fist is a downtown the Nebraskan is not non-bivalent.
sent1: if something is not bivalent it is non-downtown and/or is not a doctorspeak. sent2: the fact that the Nebraskan is bivalent if the fact that the fist is not unintelligent and it does not confer is not correct is true. sent3: that the saddlecloth does not menstruate saddlecloth and is an office is not true. sent4: something is a kind of downtown thing that is a doctorspeak if it does efface birthmark. sent5: something is not bivalent if that it is both not a parasailing and bivalent is not right. sent6: if the Nebraskan is not a downtown then the fact that the fist does not efface birthmark and broods does not hold. sent7: the Nebraskan is bivalent if the fist confers. sent8: if something does efface birthmark then it is a doctorspeak. sent9: something is not downtown and is a doctorspeak if it effaces birthmark. sent10: if that the fist does efface birthmark hold then it is a doctorspeak. sent11: the stiff is a brooding if the fact that the fist does not efface birthmark and brooding does not hold. sent12: if the fist is non-unintelligent thing that confers it does efface birthmark.
void -> assump2: Let's assume that the fist is not unintelligent and it does not confer.; sent9 -> int1: if the fist effaces birthmark it is a kind of non-downtown a doctorspeak.;
the stiff broods.
sent1 -> int2: either the caspase is not downtown or it is not a doctorspeak or both if it is not bivalent.; sent5 -> int3: if that the caspase is not a parasailing and is bivalent does not hold then it is not bivalent.;
$hypothesis$ = if the fist is a downtown the Nebraskan is not non-bivalent. ; $context$ = sent1: if something is not bivalent it is non-downtown and/or is not a doctorspeak. sent2: the fact that the Nebraskan is bivalent if the fact that the fist is not unintelligent and it does not confer is not correct is true. sent3: that the saddlecloth does not menstruate saddlecloth and is an office is not true. sent4: something is a kind of downtown thing that is a doctorspeak if it does efface birthmark. sent5: something is not bivalent if that it is both not a parasailing and bivalent is not right. sent6: if the Nebraskan is not a downtown then the fact that the fist does not efface birthmark and broods does not hold. sent7: the Nebraskan is bivalent if the fist confers. sent8: if something does efface birthmark then it is a doctorspeak. sent9: something is not downtown and is a doctorspeak if it effaces birthmark. sent10: if that the fist does efface birthmark hold then it is a doctorspeak. sent11: the stiff is a brooding if the fact that the fist does not efface birthmark and brooding does not hold. sent12: if the fist is non-unintelligent thing that confers it does efface birthmark. ; $proof$ = 
void -> assump2: Let's assume that the fist is not unintelligent and it does not confer.; sent9 -> int1: if the fist effaces birthmark it is a kind of non-downtown a doctorspeak.; __UNKNOWN__