The bear chases the mouse. The bear visits the mouse. The mouse chases the bear. If something is young then it visits the mouse. If something is young then it chases the mouse. If something likes the mouse and it chases the mouse then the mouse visits the bear. If the bear visits the mouse and the mouse visits the bear then the bear likes the mouse. If something visits the mouse then the mouse likes the bear. If something likes the bear then it is young.
The mouse is not young.
@0: The bear chases the mouse.[(triple1)] The bear visits the mouse.[(triple2)] The mouse chases the bear.[(triple3)] @1: The mouse likes the bear.[(((triple2) -> rule5))] @2: The mouse is young.[(((((triple2) -> rule5)) -> rule6))] @3: The mouse chases the mouse.[(((((((triple2) -> rule5)) -> rule6)) -> rule2))] The mouse visits the mouse.[(((((((triple2) -> rule5)) -> rule6)) -> rule1))]