The bear eats the mouse. The bear is blue. The bear is cold. The bear is rough. The bear sees the mouse. The cat likes the mouse. The mouse is blue. The mouse likes the bear. The mouse sees the cat. The squirrel is blue. If someone eats the squirrel then the squirrel eats the mouse. If someone sees the bear then the bear is round. If someone is rough then they see the squirrel. If someone likes the squirrel and they like the bear then the squirrel likes the cat. Round people are kind. If the mouse likes the bear then the mouse sees the bear.
The bear is round.
@0: The bear eats the mouse.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is rough.[(triple4)] The bear sees the mouse.[(triple5)] The cat likes the mouse.[(triple6)] The mouse is blue.[(triple7)] The mouse likes the bear.[(triple8)] The mouse sees the cat.[(triple9)] The squirrel is blue.[(triple10)] @1: The bear sees the squirrel.[(((triple4) -> rule3))] The mouse sees the bear.[(((triple8) -> rule6))] @2: The bear is round.[(((((triple8) -> rule6)) -> rule2))] @3: The bear is kind.[(((((((triple8) -> rule6)) -> rule2)) -> rule5))]