The bear chases the dog. The dog chases the bear. If the bear chases the dog and the dog chases the bear then the bear eats the dog. If something is big and it likes the dog then it likes the bear.
The dog is not kind.
@0: The bear chases the dog.[(triple1)] The dog chases the bear.[(triple2)] @1: The bear eats the dog.[(((triple1 triple2) -> rule1))]