The cat sees the dog. The dog eats the cat. If something sees the dog and the dog eats the cat then the cat is kind. If something is rough then it likes the dog.
The dog is green.
@0: The cat sees the dog.[(triple1)] The dog eats the cat.[(triple2)] @1: The cat is kind.[(((triple1 triple2) -> rule1))]