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