The bear is rough. The bear likes the dog. The dog sees the bear. Rough people are kind. If the dog sees the bear then the dog is blue.
The bear likes the dog.
@0: The bear is rough.[(triple1)] The bear likes the dog.[(triple2)] The dog sees the bear.[(triple3)] @1: The bear is kind.[(((triple1) -> rule1))] The dog is blue.[(((triple3) -> rule2))]