The bear eats the mouse. The bear is rough. The bear is round. The bear needs the mouse. The bear sees the mouse. The mouse eats the bear. The mouse needs the bear. If someone is round then they need the bear. If someone needs the mouse and the mouse sees the bear then they are green. If someone is red and they see the mouse then the mouse eats the bear. If the bear eats the mouse and the mouse is rough then the mouse eats the bear. If someone sees the bear and the bear needs the mouse then the mouse is round. If someone eats the bear and they need the mouse then the bear needs the mouse. If the mouse needs the bear and the mouse eats the bear then the bear eats the mouse. If someone sees the bear and the bear is green then they are rough.
The mouse is round.
@0: The bear eats the mouse.[(triple1 OR ((triple7 triple6) -> rule7))] The bear is rough.[(triple2)] The bear is round.[(triple3)] The bear needs the mouse.[(triple4)] The bear sees the mouse.[(triple5)] The mouse eats the bear.[(triple6)] The mouse needs the bear.[(triple7)] @1: The bear needs the bear.[(((triple3) -> rule1))]