The bear chases the squirrel. The bear is young. The bear does not see the squirrel. The lion chases the squirrel. The lion is kind. The lion is red. The lion likes the bear. The squirrel chases the bear. The squirrel is green. The squirrel is red. The squirrel does not like the bear. The squirrel sees the lion. If someone is green then they see the squirrel. If someone chases the bear then they are young. If the lion likes the squirrel and the lion is big then the lion does not chase the bear. If someone likes the lion then the lion is not green. If someone chases the bear and they do not chase the squirrel then the bear is red. If the lion does not like the bear then the lion sees the bear. If someone is young and they do not like the squirrel then the squirrel likes the bear. If the bear does not like the squirrel then the squirrel sees the lion.
The squirrel does not chase the bear.
@0: The bear chases the squirrel.[(triple1)] The bear does not see the squirrel.[(triple3)] The bear is young.[(triple2)] The lion chases the squirrel.[(triple4)] The lion is kind.[(triple5)] The lion is red.[(triple6)] The lion likes the bear.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel does not like the bear.[(triple11)] The squirrel is green.[(triple9)] The squirrel is red.[(triple10)] The squirrel sees the lion.[(triple12)] @1: The squirrel is young.[(((triple8) -> rule2))] The squirrel sees the squirrel.[(((triple9) -> rule1))]