The bear needs the mouse. The mouse needs the bear. If someone is nice then they need the bear. If someone needs the bear then they like the mouse. If someone likes the bear then the bear likes the mouse.
The mouse does not need the bear.
@0: The bear needs the mouse.[(triple1)] The mouse needs the bear.[(triple2)] @1: The mouse likes the mouse.[(((triple2) -> rule2))]