The bear chases the mouse. The mouse is green. If the bear sees the mouse and the bear needs the mouse then the bear is green. If someone sees the bear then the bear is big. If someone chases the mouse then the mouse is big. If the bear is nice then the bear is not rough. If someone needs the bear then the bear does not need the mouse. If someone sees the bear and they are not green then they are rough.
The mouse is not green.
@0: The bear chases the mouse.[(triple1)] The mouse is green.[(triple2)] @1: The mouse is big.[(((triple1) -> rule3))]