the zill is not a STP and is a jointed.
sent1: if the darnel is not jurisprudential the odonate is a menagerie. sent2: if the fact that the darnel is a kind of a menagerie is not wrong the steps is not dependent and/or it is jurisprudential. sent3: the fact that the steps is not a menagerie but it is a kind of a Seth is not right if the darnel is jurisprudential. sent4: that if the odonate is a menagerie then the fact that the zill is not a STP and is a kind of a jointed is not true is correct. sent5: the darnel is not jurisprudential if the steps is not a kind of a Seth. sent6: if that the steps is a Seth and it is a austenite is false the darnel is not jurisprudential. sent7: the fact that the steps is a kind of a Seth that is a austenite is false. sent8: something is not dependent if it is either not dependent or jurisprudential or both.
sent6 & sent7 -> int1: the darnel is not jurisprudential.; sent1 & int1 -> int2: the odonate is a menagerie.; sent4 & int2 -> hypothesis;
that the zill is dependent a jointed is wrong.
sent8 -> int3: the steps is not dependent if either it is not dependent or it is jurisprudential or both.;
$hypothesis$ = the zill is not a STP and is a jointed. ; $context$ = sent1: if the darnel is not jurisprudential the odonate is a menagerie. sent2: if the fact that the darnel is a kind of a menagerie is not wrong the steps is not dependent and/or it is jurisprudential. sent3: the fact that the steps is not a menagerie but it is a kind of a Seth is not right if the darnel is jurisprudential. sent4: that if the odonate is a menagerie then the fact that the zill is not a STP and is a kind of a jointed is not true is correct. sent5: the darnel is not jurisprudential if the steps is not a kind of a Seth. sent6: if that the steps is a Seth and it is a austenite is false the darnel is not jurisprudential. sent7: the fact that the steps is a kind of a Seth that is a austenite is false. sent8: something is not dependent if it is either not dependent or jurisprudential or both. ; $proof$ = 
sent6 & sent7 -> int1: the darnel is not jurisprudential.; sent1 & int1 -> int2: the odonate is a menagerie.; sent4 & int2 -> hypothesis; __DISPROVED__