The bear sees the mouse. The mouse visits the bear. If something visits the bear then it sees the mouse. If something visits the bear then the bear likes the mouse. If something sees the mouse and the mouse is green then it likes the bear. If something likes the mouse and the mouse likes the bear then it likes the bear. If something sees the mouse then it likes the bear. If something likes the mouse and it is red then the mouse sees the bear.
The bear sees the mouse.
@0: The bear sees the mouse.[(triple1)] The mouse visits the bear.[(triple2)] @1: The bear likes the bear.[(((triple1) -> rule5) OR ((((triple2) -> rule2) ((((triple2) -> rule1)) -> rule5)) -> rule4))] The bear likes the mouse.[(((triple2) -> rule2))] The mouse sees the mouse.[(((triple2) -> rule1))] @2: The mouse likes the bear.[(((((triple2) -> rule1)) -> rule5))]