the edition is a kind of a Myopus.
sent1: if something is a kind of a Sana it is a kind of a Myopus. sent2: the nectar is not a sen if something is not mindful and not a Carex. sent3: if the ketamine is unreactive and it is not a Omphalotus then that the nectar is a sen is right. sent4: if there is something such that the fact that it is a Bruneian is right the edition fabricates Poitier and it is a profile. sent5: the nectar is a profile. sent6: something is not mindful and it is not a kind of a Carex. sent7: if the edition is a profile then it is a Sana.
void -> assump1: Let's assume that the ketamine is not reactive and not a Omphalotus.; sent3 & assump1 -> int1: the nectar is a kind of a sen.; sent6 & sent2 -> int2: the nectar is not a kind of a sen.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the ketamine is not reactive and is not a Omphalotus is not right.; sent1 -> int5: the edition is a Myopus if it is a Sana.;
$hypothesis$ = the edition is a kind of a Myopus. ; $context$ = sent1: if something is a kind of a Sana it is a kind of a Myopus. sent2: the nectar is not a sen if something is not mindful and not a Carex. sent3: if the ketamine is unreactive and it is not a Omphalotus then that the nectar is a sen is right. sent4: if there is something such that the fact that it is a Bruneian is right the edition fabricates Poitier and it is a profile. sent5: the nectar is a profile. sent6: something is not mindful and it is not a kind of a Carex. sent7: if the edition is a profile then it is a Sana. ; $proof$ = 
void -> assump1: Let's assume that the ketamine is not reactive and not a Omphalotus.; sent3 & assump1 -> int1: the nectar is a kind of a sen.; sent6 & sent2 -> int2: the nectar is not a kind of a sen.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the ketamine is not reactive and is not a Omphalotus is not right.; sent1 -> int5: the edition is a Myopus if it is a Sana.; __UNKNOWN__