The lion does not see the rabbit. The rabbit visits the squirrel. The squirrel sees the rabbit. If the rabbit eats the lion then the lion visits the squirrel. If someone is young then they do not visit the lion. If someone is young then they see the squirrel. If someone eats the lion and they do not visit the rabbit then the rabbit visits the squirrel. If someone eats the squirrel then the squirrel does not see the rabbit. If someone sees the lion then the lion does not see the squirrel. If someone sees the rabbit then the rabbit is young. If someone visits the squirrel then the squirrel sees the lion.
The rabbit does not visit the squirrel.
@0: The lion does not see the rabbit.[(triple1)] The rabbit visits the squirrel.[(triple2)] The squirrel sees the rabbit.[(triple3)] @1: The rabbit is young.[(((triple3) -> rule7))] The squirrel sees the lion.[(((triple2) -> rule8))] @2: The lion does not see the squirrel.[(((((triple2) -> rule8)) -> rule6))] The rabbit does not visit the lion.[(((((triple3) -> rule7)) -> rule2))] The rabbit sees the squirrel.[(((((triple3) -> rule7)) -> rule3))]