The bear chases the squirrel. The bear is young. The bear likes the mouse. The bear likes the squirrel. The bear sees the mouse. The mouse is not young. The squirrel chases the bear. The squirrel is blue. The squirrel does not like the mouse. The squirrel sees the bear. If someone chases the squirrel then they chase the mouse.
The mouse does not chase the mouse.
@0: The bear chases the squirrel.[(triple1)] The bear is young.[(triple2)] The bear likes the mouse.[(triple3)] The bear likes the squirrel.[(triple4)] The bear sees the mouse.[(triple5)] The mouse is not young.[(triple6)] The squirrel chases the bear.[(triple7)] The squirrel does not like the mouse.[(triple9)] The squirrel is blue.[(triple8)] The squirrel sees the bear.[(triple10)] @1: The bear chases the mouse.[(((triple1) -> rule1))]