The cat does not visit the dog. The dog visits the squirrel. The squirrel does not chase the dog. If the dog visits the squirrel then the squirrel chases the cat. If someone visits the dog and they visit the cat then the dog sees the cat. If someone sees the cat then the cat does not chase the dog. If someone is big then they visit the cat. If someone chases the dog and the dog sees the cat then the dog sees the squirrel. If someone sees the squirrel and they visit the squirrel then they visit the dog.
The cat visits the dog.
@0: The cat does not visit the dog.[(triple1)] The dog visits the squirrel.[(triple2)] The squirrel does not chase the dog.[(triple3)] @1: The squirrel chases the cat.[(((triple2) -> rule1))]