The cat is young. The dog is blue. The dog is nice. The dog is rough. The dog visits the cat. The squirrel is blue. The squirrel visits the dog. If someone is blue and they visit the cat then the cat chases the squirrel. If the squirrel visits the dog and the dog visits the squirrel then the squirrel chases the dog.
The squirrel does not chase the dog.
@0: The cat is young.[(triple1)] The dog is blue.[(triple2)] The dog is nice.[(triple3)] The dog is rough.[(triple4)] The dog visits the cat.[(triple5)] The squirrel is blue.[(triple6)] The squirrel visits the dog.[(triple7)] @1: The cat chases the squirrel.[(((triple2 triple5) -> rule1))]