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