The cat does not visit the squirrel. The lion visits the squirrel. The squirrel chases the lion. If something visits the squirrel then the squirrel does not like the lion. If something is rough then it chases the cat. If something visits the cat then the cat is rough. If something likes the cat then the cat does not visit the lion. If something visits the squirrel and it is green then it visits the cat. If something chases the lion then the lion visits the cat. If something likes the cat and it is not red then the cat does not chase the squirrel. If the lion does not chase the squirrel then the squirrel does not chase the lion.
The lion does not visit the cat.
@0: The cat does not visit the squirrel.[(triple1)] The lion visits the squirrel.[(triple2)] The squirrel chases the lion.[(triple3)] @1: The lion visits the cat.[(((triple3) -> rule6))] The squirrel does not like the lion.[(((triple2) -> rule1))] @2: The cat is rough.[(((((triple3) -> rule6)) -> rule3))] @3: The cat chases the cat.[(((((((triple3) -> rule6)) -> rule3)) -> rule2))]