The bear does not chase the mouse. The bear eats the mouse. The bear is green. The bear is rough. The mouse chases the bear. The mouse eats the bear. The mouse is big. The mouse is cold. The mouse is green. The mouse is kind. The mouse is rough. The mouse needs the bear. If someone needs the mouse and the mouse eats the bear then they do not need the bear. If someone chases the bear and they are not green then they chase the mouse. If someone is rough and they need the bear then the bear does not chase the mouse. If someone eats the bear and they are not rough then the bear chases the mouse. If someone is big and green then they do not need the mouse. If the mouse chases the bear and the bear is green then the bear eats the mouse.
The bear is rough.
@0: The bear does not chase the mouse.[(triple1 OR ((triple11 triple12) -> rule3))] The bear eats the mouse.[(triple2 OR ((triple5 triple3) -> rule6))] The bear is green.[(triple3)] The bear is rough.[(triple4)] The mouse chases the bear.[(triple5)] The mouse eats the bear.[(triple6)] The mouse is big.[(triple7)] The mouse is cold.[(triple8)] The mouse is green.[(triple9)] The mouse is kind.[(triple10)] The mouse is rough.[(triple11)] The mouse needs the bear.[(triple12)] @1: The mouse does not need the mouse.[(((triple7 triple9) -> rule5))]