The bear is blue. The dog chases the tiger. The squirrel sees the dog. The tiger sees the dog. If something is blue then it chases the bear. If something chases the tiger then it visits the dog.
The bear does not see the bear.
@0: The bear is blue.[(triple1)] The dog chases the tiger.[(triple2)] The squirrel sees the dog.[(triple3)] The tiger sees the dog.[(triple4)] @1: The bear chases the bear.[(((triple1) -> rule1))] The dog visits the dog.[(((triple2) -> rule2))]