The bear needs the mouse. The mouse likes the bear. The mouse visits the bear. If something visits the bear and the bear needs the mouse then it likes the mouse. If something needs the bear and it needs the mouse then it visits the bear.
The bear is young.
@0: The bear needs the mouse.[(triple1)] The mouse likes the bear.[(triple2)] The mouse visits the bear.[(triple3)] @1: The mouse likes the mouse.[(((triple3 triple1) -> rule1))]