The bear is nice. The mouse needs the bear. If the mouse needs the bear then the bear chases the mouse. If the bear is not rough then the bear does not chase the mouse. If someone chases the bear then they do not need the mouse. If someone chases the mouse then they see the mouse. If the mouse is not nice then the mouse needs the bear. If someone sees the mouse and they chase the mouse then the mouse is not red.
The bear does not see the bear.
@0: The bear is nice.[(triple1)] The mouse needs the bear.[(triple2)] @1: The bear chases the mouse.[(((triple2) -> rule1))] @2: The bear sees the mouse.[(((((triple2) -> rule1)) -> rule4))] @3: The mouse is not red.[(((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6))]