The bear visits the cat. The cat is blue. The dog sees the cat. If something sees the cat and the cat is blue then the cat visits the dog. If something is cold then it visits the bear. If something is green and it visits the bear then the bear sees the dog.
The bear does not visit the bear.
@0: The bear visits the cat.[(triple1)] The cat is blue.[(triple2)] The dog sees the cat.[(triple3)] @1: The cat visits the dog.[(((triple3 triple2) -> rule1))]