The bear is kind. The mouse sees the bear. If something sees the bear then it does not chase the mouse. All green things are not blue. If something is round and it sees the mouse then the mouse is kind. If something sees the bear then the bear sees the mouse. If the bear sees the mouse and the mouse is round then the bear does not chase the mouse. If the bear sees the mouse and the mouse does not see the bear then the bear chases the mouse. If something visits the bear and the bear does not visit the mouse then the mouse does not visit the bear. If something is round and kind then it visits the bear.
The mouse visits the mouse.
@0: The bear is kind.[(triple1)] The mouse sees the bear.[(triple2)] @1: The bear sees the mouse.[(((triple2) -> rule4))] The mouse does not chase the mouse.[(((triple2) -> rule1))]