The bear sees the dog. The dog chases the mouse. The mouse likes the dog. If someone chases the bear and the bear is cold then the bear chases the dog. If someone chases the dog and they like the bear then they see the dog. If someone likes the mouse then the mouse chases the bear. If someone sees the bear and they are big then the bear likes the dog. If someone likes the bear then they chase the dog. If the dog chases the mouse then the dog likes the bear.
The mouse sees the bear.
@0: The bear sees the dog.[(triple1)] The dog chases the mouse.[(triple2)] The mouse likes the dog.[(triple3)] @1: The dog likes the bear.[(((triple2) -> rule6))] @2: The dog chases the dog.[(((((triple2) -> rule6)) -> rule5))] @3: The dog sees the dog.[(((((((triple2) -> rule6)) -> rule5) ((triple2) -> rule6)) -> rule2))]