The bear sees the squirrel. The cat is nice. The dog sees the bear. The squirrel sees the dog. If someone is nice then they chase the dog.
The cat chases the dog.
@0: The bear sees the squirrel.[(triple1)] The cat is nice.[(triple2)] The dog sees the bear.[(triple3)] The squirrel sees the dog.[(triple4)] @1: The cat chases the dog.[(((triple2) -> rule1))]