The bear eats the dog. The cat eats the dog. The dog sees the cat. If something eats the dog then it is red. If something is blue and rough then it sees the dog.
The cat does not eat the dog.
@0: The bear eats the dog.[(triple1)] The cat eats the dog.[(triple2)] The dog sees the cat.[(triple3)] @1: The bear is red.[(((triple1) -> rule1))] The cat is red.[(((triple2) -> rule1))]