The bald eagle is kind. The cow is rough. The mouse is young. The squirrel sees the cow. If someone is kind then they see the bald eagle. If someone sees the cow then the cow sees the mouse. If someone is red and they eat the cow then the cow sees the bald eagle. If someone is blue and they see the mouse then the mouse is young. If someone is rough then they need the squirrel. If the cow is red and the cow needs the squirrel then the cow is young. If someone is young and they see the bald eagle then the bald eagle needs the squirrel. If someone sees the mouse then they see the cow.
The bald eagle does not need the squirrel.
@0: The bald eagle is kind.[(triple1)] The cow is rough.[(triple2)] The mouse is young.[(triple3)] The squirrel sees the cow.[(triple4)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule1))] The cow needs the squirrel.[(((triple2) -> rule5))] The cow sees the mouse.[(((triple4) -> rule2))] @2: The cow sees the cow.[(((((triple4) -> rule2)) -> rule8))]