The bear chases the dog. The dog chases the bear. If someone chases the dog then they are kind.
The dog sees the bear.
@0: The bear chases the dog.[(triple1)] The dog chases the bear.[(triple2)] @1: The bear is kind.[(((triple1) -> rule1))]