The bald eagle chases the bear. The bald eagle likes the bear. The bald eagle sees the bear. The bear is red. The bear is young. The bear does not see the bald eagle. The squirrel chases the bald eagle. The squirrel is green. The squirrel likes the bear. The squirrel sees the bear. If the bear sees the bald eagle and the bald eagle does not like the bear then the bear does not see the squirrel. If someone likes the bald eagle and the bald eagle chases the squirrel then the squirrel chases the bald eagle. If someone likes the bald eagle then the bald eagle does not chase the squirrel. If someone is nice then they chase the squirrel. Green people are not nice. If the bear likes the squirrel and the squirrel does not chase the bear then the bear sees the bald eagle.
The squirrel is nice.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear does not see the bald eagle.[(triple6)] The bear is red.[(triple4)] The bear is young.[(triple5)] The squirrel chases the bald eagle.[(triple7)] The squirrel is green.[(triple8)] The squirrel likes the bear.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The squirrel is not nice.[(((triple8) -> rule5))]