The bald eagle is kind. The bald eagle likes the cow. The cow is blue. The cow is red. The cow sees the bald eagle. The cow sees the squirrel. The squirrel is red. The squirrel likes the cow. The squirrel sees the bald eagle. The squirrel sees the cow. If someone chases the squirrel then they chase the bald eagle. If someone likes the cow and the cow is kind then the cow chases the squirrel. If someone chases the squirrel and the squirrel chases the cow then the cow sees the squirrel. If someone is red then they chase the cow. If someone is young then they like the cow. If the squirrel likes the bald eagle and the bald eagle sees the squirrel then the bald eagle chases the cow. If someone likes the bald eagle and the bald eagle sees the squirrel then the bald eagle chases the squirrel. If someone chases the cow then the cow is young.
The cow does not chase the squirrel.
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the cow.[(triple2)] The cow is blue.[(triple3)] The cow is red.[(triple4)] The cow sees the bald eagle.[(triple5)] The cow sees the squirrel.[(triple6)] The squirrel is red.[(triple7)] The squirrel likes the cow.[(triple8)] The squirrel sees the bald eagle.[(triple9)] The squirrel sees the cow.[(triple10)] @1: The cow chases the cow.[(((triple4) -> rule4))] The squirrel chases the cow.[(((triple7) -> rule4))] @2: The cow is young.[(((((triple4) -> rule4)) -> rule8) OR ((((triple7) -> rule4)) -> rule8))] @3: The cow likes the cow.[(((((((triple4) -> rule4)) -> rule8)) -> rule5) OR ((((((triple7) -> rule4)) -> rule8)) -> rule5))]