The bear visits the mouse. The mouse needs the bear. The mouse does not visit the bear. If something likes the bear then the bear needs the mouse. If something needs the mouse then it likes the mouse. If something visits the bear then it likes the mouse. If something is red then it does not like the mouse. If the mouse needs the bear then the mouse likes the bear. If something likes the mouse and the mouse is not young then the mouse needs the bear. If something likes the bear then it visits the mouse. If something likes the mouse and it is not round then it needs the mouse.
The bear does not like the mouse.
@0: The bear visits the mouse.[(triple1)] The mouse does not visit the bear.[(triple3)] The mouse needs the bear.[(triple2)] @1: The mouse likes the bear.[(((triple2) -> rule5))] @2: The bear needs the mouse.[(((((triple2) -> rule5)) -> rule1))] The mouse visits the mouse.[(((((triple2) -> rule5)) -> rule7))] @3: The bear likes the mouse.[(((((((triple2) -> rule5)) -> rule1)) -> rule2))]