The bald eagle is nice. The bald eagle likes the cow. The bald eagle sees the cow. The bald eagle sees the squirrel. The cow chases the squirrel. The cow is nice. The cow is young. The squirrel chases the bald eagle. The squirrel likes the cow. The squirrel sees the cow. If someone sees the cow and they are red then the cow sees the squirrel. If someone is nice then they chase the squirrel. If someone chases the bald eagle then the bald eagle is red.
The squirrel does not chase the squirrel.
@0: The bald eagle is nice.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle sees the cow.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The cow chases the squirrel.[(triple5 OR ((triple6) -> rule2))] The cow is nice.[(triple6)] The cow is young.[(triple7)] The squirrel chases the bald eagle.[(triple8)] The squirrel likes the cow.[(triple9)] The squirrel sees the cow.[(triple10)] @1: The bald eagle chases the squirrel.[(((triple1) -> rule2))] The bald eagle is red.[(((triple8) -> rule3))] @2: The cow sees the squirrel.[(((triple3 ((triple8) -> rule3)) -> rule1))]