The cat visits the squirrel. The squirrel visits the cat. The tiger is not green. If someone is big and they do not see the cat then they visit the squirrel. If someone chases the cat and they see the cat then they chase the tiger. If someone visits the cat then the cat does not chase the squirrel.
The squirrel visits the tiger.
@0: The cat visits the squirrel.[(triple1)] The squirrel visits the cat.[(triple2)] The tiger is not green.[(triple3)] @1: The cat does not chase the squirrel.[(((triple2) -> rule3))]