The bear is red. The mouse is cold. The mouse needs the bear. If something is rough then it visits the mouse. If something needs the mouse then the mouse needs the bear. If the mouse needs the bear then the bear visits the mouse. If something visits the mouse and the mouse needs the bear then it visits the bear. If something is red and it likes the mouse then the mouse is nice. If something likes the mouse and it visits the bear then the mouse needs the bear.
The mouse does not need the bear.
@0: The bear is red.[(triple1)] The mouse is cold.[(triple2)] The mouse needs the bear.[(triple3)] @1: The bear visits the mouse.[(((triple3) -> rule3))] @2: The bear visits the bear.[(((((triple3) -> rule3) triple3) -> rule4))]