The bear chases the mouse. The bear is green. The bear is not rough. The bear sees the mouse. The mouse does not chase the bear. The mouse is nice. The mouse does not see the bear. If someone is rough then they chase the mouse. If someone sees the mouse then the mouse is green. If someone chases the bear and they chase the mouse then the mouse does not chase the bear.
The mouse is not green.
@0: The bear chases the mouse.[(triple1)] The bear is green.[(triple2)] The bear is not rough.[(triple3)] The bear sees the mouse.[(triple4)] The mouse does not chase the bear.[(triple5)] The mouse does not see the bear.[(triple7)] The mouse is nice.[(triple6)] @1: The mouse is green.[(((triple4) -> rule2))]