The bear eats the rabbit. The bear sees the squirrel. The mouse eats the squirrel. The mouse is kind. The mouse sees the rabbit. The rabbit needs the squirrel. The squirrel eats the bear. If someone sees the squirrel and the squirrel sees the bear then the squirrel needs the mouse. If someone needs the rabbit and the rabbit sees the mouse then the mouse sees the rabbit. If someone is rough then they need the rabbit. If someone needs the rabbit then the rabbit sees the squirrel. If someone sees the squirrel then they are rough. If someone is nice and they need the mouse then they are rough. If someone is green then they are kind.
The mouse is rough.
@0: The bear eats the rabbit.[(triple1)] The bear sees the squirrel.[(triple2)] The mouse eats the squirrel.[(triple3)] The mouse is kind.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit needs the squirrel.[(triple6)] The squirrel eats the bear.[(triple7)] @1: The bear is rough.[(((triple2) -> rule5))] @2: The bear needs the rabbit.[(((((triple2) -> rule5)) -> rule3))] @3: The rabbit sees the squirrel.[(((((((triple2) -> rule5)) -> rule3)) -> rule4))] @4: The rabbit is rough.[(((((((((triple2) -> rule5)) -> rule3)) -> rule4)) -> rule5))] @5: The rabbit needs the rabbit.[(((((((((((triple2) -> rule5)) -> rule3)) -> rule4)) -> rule5)) -> rule3))]