The bear is rough. The dog likes the bear. The mouse chases the dog. If something likes the bear and the bear likes the dog then it likes the dog. If the dog is young then the dog chases the mouse. If the mouse chases the dog then the mouse chases the bear. If something chases the mouse and it likes the bear then it likes the mouse. If something eats the mouse then the mouse eats the dog. If something chases the bear then it eats the mouse.
The mouse does not eat the dog.
@0: The bear is rough.[(triple1)] The dog likes the bear.[(triple2)] The mouse chases the dog.[(triple3)] @1: The mouse chases the bear.[(((triple3) -> rule3))] @2: The mouse eats the mouse.[(((((triple3) -> rule3)) -> rule6))] @3: The mouse eats the dog.[(((((((triple3) -> rule3)) -> rule6)) -> rule5))]