if the clack is zodiacal then the orpine is a kind of insecticidal thing that does not dogmatize clack.
sent1: the orpine does not dogmatize clack if the clack is zodiacal. sent2: the orpine does not dogmatize clack. sent3: there is something such that that it is insecticidal and it does dogmatize clack is not right. sent4: the orpine is a kind of zodiacal thing that does not dogmatize clack. sent5: the fact that something is not insecticidal hold. sent6: something does dogmatize clack. sent7: that the clack is insecticidal and is zodiacal is false. sent8: the orpine is not insecticidal.
void -> assump2: Let's assume that that the orpine is insecticidal and does not dogmatize clack is incorrect.; assump2 -> int1: there is something such that that it is a kind of insecticidal thing that does not dogmatize clack is wrong.;
$hypothesis$ = if the clack is zodiacal then the orpine is a kind of insecticidal thing that does not dogmatize clack. ; $context$ = sent1: the orpine does not dogmatize clack if the clack is zodiacal. sent2: the orpine does not dogmatize clack. sent3: there is something such that that it is insecticidal and it does dogmatize clack is not right. sent4: the orpine is a kind of zodiacal thing that does not dogmatize clack. sent5: the fact that something is not insecticidal hold. sent6: something does dogmatize clack. sent7: that the clack is insecticidal and is zodiacal is false. sent8: the orpine is not insecticidal. ; $proof$ = 
void -> assump2: Let's assume that that the orpine is insecticidal and does not dogmatize clack is incorrect.; assump2 -> int1: there is something such that that it is a kind of insecticidal thing that does not dogmatize clack is wrong.; __UNKNOWN__