the anteater is not humic.
sent1: that the anteater is not humic if the symphilid contorts Acanthocybium and is not a kind of a Morgan is correct. sent2: the fact that the symphilid does contort Acanthocybium and it is a Morgan does not hold. sent3: something that is clitoral is a Leptoglossus. sent4: the promycelium is a myosin if the symphilid is a kind of a Morgan. sent5: if that the fact that the symphilid contorts Acanthocybium and is not a Morgan is not right is not false that the promycelium is a myosin is true. sent6: if that the promycelium is a myosin is not false then the Sabine is clitoral.
void -> assump1: Let's assume that the fact that the symphilid contorts Acanthocybium and is not a Morgan is not right.; sent5 & assump1 -> int1: the promycelium is a myosin.; int1 & sent6 -> int2: the Sabine is clitoral.; sent3 -> int3: the Sabine is a Leptoglossus if it is clitoral.; int2 & int3 -> int4: the Sabine is a kind of a Leptoglossus.;
$hypothesis$ = the anteater is not humic. ; $context$ = sent1: that the anteater is not humic if the symphilid contorts Acanthocybium and is not a kind of a Morgan is correct. sent2: the fact that the symphilid does contort Acanthocybium and it is a Morgan does not hold. sent3: something that is clitoral is a Leptoglossus. sent4: the promycelium is a myosin if the symphilid is a kind of a Morgan. sent5: if that the fact that the symphilid contorts Acanthocybium and is not a Morgan is not right is not false that the promycelium is a myosin is true. sent6: if that the promycelium is a myosin is not false then the Sabine is clitoral. ; $proof$ = 
void -> assump1: Let's assume that the fact that the symphilid contorts Acanthocybium and is not a Morgan is not right.; sent5 & assump1 -> int1: the promycelium is a myosin.; int1 & sent6 -> int2: the Sabine is clitoral.; sent3 -> int3: the Sabine is a Leptoglossus if it is clitoral.; int2 & int3 -> int4: the Sabine is a kind of a Leptoglossus.; __UNKNOWN__