the thysanuron does stage if the diplococcus is carnivorous.
sent1: if the stallion does report Rhyacotriton the fact that the thysanuron does not stage but it is carnivorous is not true. sent2: that there is something such that the fact that it is not a kind of a IBDA-C and is carnivorous does not hold hold. sent3: that the stallion is a kind of a IBDA-C and it does report Rhyacotriton is wrong if the thysanuron is not a stage. sent4: if the fact that something either is not a stage or is not carnivorous or both is right then it is not a kind of a nonattendance. sent5: the diplococcus is not carnivorous if there is something such that it is a kind of a stage. sent6: the diplococcus is not carnivorous if there is something such that that it is not a IBDA-C and it does report Rhyacotriton does not hold. sent7: the diplococcus does negotiate clanger. sent8: the stallion is not a stage.
void -> assump2: Let's assume that the diplococcus is carnivorous.;
the diplococcus is not a kind of a nonattendance.
sent4 -> int1: the thysanuron is not a nonattendance if it is not a stage and/or is not carnivorous.;
$hypothesis$ = the thysanuron does stage if the diplococcus is carnivorous. ; $context$ = sent1: if the stallion does report Rhyacotriton the fact that the thysanuron does not stage but it is carnivorous is not true. sent2: that there is something such that the fact that it is not a kind of a IBDA-C and is carnivorous does not hold hold. sent3: that the stallion is a kind of a IBDA-C and it does report Rhyacotriton is wrong if the thysanuron is not a stage. sent4: if the fact that something either is not a stage or is not carnivorous or both is right then it is not a kind of a nonattendance. sent5: the diplococcus is not carnivorous if there is something such that it is a kind of a stage. sent6: the diplococcus is not carnivorous if there is something such that that it is not a IBDA-C and it does report Rhyacotriton does not hold. sent7: the diplococcus does negotiate clanger. sent8: the stallion is not a stage. ; $proof$ = 
void -> assump2: Let's assume that the diplococcus is carnivorous.; __UNKNOWN__