the anomaly is not a diffuseness and it is not a stag.
sent1: if something is a tetrahymena it does illuminate. sent2: if the fact that the anomaly is not a testcross and not a nettle is not correct the tobogganist does circumscribe tenoroon. sent3: the fact that if something does not nettle then that it is not a diffuseness is not false is true. sent4: if there exists something such that it either is a tic or is spermous or both then the mandrill is not a crownbeard. sent5: there is something such that it is a kind of a tic or it is spermous or both. sent6: that the anomaly is not a diffuseness and it is not a stag does not hold if the tobogganist is not a tetrahymena. sent7: the fact that the mandrill does not illuminate but it circumscribes tenoroon is false. sent8: if the mandrill illuminates it is a crownbeard. sent9: the anomaly is not a kind of a stag.
void -> assump1: Let's assume that the fact that the anomaly is not a testcross and not a nettle is wrong.; sent2 & assump1 -> int1: the tobogganist does circumscribe tenoroon.; sent1 -> int2: if the mandrill is a tetrahymena then it does illuminate.; sent5 & sent4 -> int3: the mandrill is not a crownbeard.; sent3 -> int4: the anomaly is not a kind of a diffuseness if it does not nettle.;
the fact that the anomaly is not a diffuseness and it is not a stag is not correct.
$hypothesis$ = the anomaly is not a diffuseness and it is not a stag. ; $context$ = sent1: if something is a tetrahymena it does illuminate. sent2: if the fact that the anomaly is not a testcross and not a nettle is not correct the tobogganist does circumscribe tenoroon. sent3: the fact that if something does not nettle then that it is not a diffuseness is not false is true. sent4: if there exists something such that it either is a tic or is spermous or both then the mandrill is not a crownbeard. sent5: there is something such that it is a kind of a tic or it is spermous or both. sent6: that the anomaly is not a diffuseness and it is not a stag does not hold if the tobogganist is not a tetrahymena. sent7: the fact that the mandrill does not illuminate but it circumscribes tenoroon is false. sent8: if the mandrill illuminates it is a crownbeard. sent9: the anomaly is not a kind of a stag. ; $proof$ = 
void -> assump1: Let's assume that the fact that the anomaly is not a testcross and not a nettle is wrong.; sent2 & assump1 -> int1: the tobogganist does circumscribe tenoroon.; sent1 -> int2: if the mandrill is a tetrahymena then it does illuminate.; sent5 & sent4 -> int3: the mandrill is not a crownbeard.; sent3 -> int4: the anomaly is not a kind of a diffuseness if it does not nettle.; __UNKNOWN__