The bear chases the mouse. The bear chases the squirrel. The bear eats the mouse. The bear eats the squirrel. The bear is blue. The bear is green. The bear is red. The bear is round. The bear sees the squirrel. The mouse eats the bear. The mouse is red. The mouse is rough. The squirrel eats the bear. The squirrel eats the mouse. The squirrel is round. The squirrel sees the mouse. If someone is rough then they chase the squirrel. If someone is rough and they chase the squirrel then the squirrel is green.
The squirrel chases the mouse.
@0: The bear chases the mouse.[(triple1)] The bear chases the squirrel.[(triple2)] The bear eats the mouse.[(triple3)] The bear eats the squirrel.[(triple4)] The bear is blue.[(triple5)] The bear is green.[(triple6)] The bear is red.[(triple7)] The bear is round.[(triple8)] The bear sees the squirrel.[(triple9)] The mouse eats the bear.[(triple10)] The mouse is red.[(triple11)] The mouse is rough.[(triple12)] The squirrel eats the bear.[(triple13)] The squirrel eats the mouse.[(triple14)] The squirrel is round.[(triple15)] The squirrel sees the mouse.[(triple16)] @1: The mouse chases the squirrel.[(((triple12) -> rule1))] @2: The squirrel is green.[(((triple12 ((triple12) -> rule1)) -> rule2))]