The bald eagle is red. The bald eagle sees the cow. The cow is nice. The cow sees the bald eagle. The lion is nice. The lion is red. The lion sees the squirrel. The squirrel is kind. The squirrel sees the bald eagle. The squirrel sees the lion. If someone is nice and they eat the lion then they chase the lion. If someone is kind and nice then they chase the lion. If someone chases the squirrel and the squirrel sees the bald eagle then the squirrel is nice. If someone sees the bald eagle then they see the squirrel. If the bald eagle sees the squirrel and the squirrel eats the cow then the cow is kind. If someone chases the squirrel and the squirrel eats the lion then they see the lion. If the squirrel chases the lion and the lion eats the cow then the lion sees the bald eagle. If someone is kind and they see the lion then they chase the squirrel.
The cow is not kind.
@0: The bald eagle is red.[(triple1)] The bald eagle sees the cow.[(triple2)] The cow is nice.[(triple3)] The cow sees the bald eagle.[(triple4)] The lion is nice.[(triple5)] The lion is red.[(triple6)] The lion sees the squirrel.[(triple7)] The squirrel is kind.[(triple8)] The squirrel sees the bald eagle.[(triple9)] The squirrel sees the lion.[(triple10)] @1: The cow sees the squirrel.[(((triple4) -> rule4))] The squirrel chases the squirrel.[(((triple8 triple10) -> rule8))] The squirrel sees the squirrel.[(((triple9) -> rule4))] @2: The squirrel is nice.[(((((triple8 triple10) -> rule8) triple9) -> rule3))] @3: The squirrel chases the lion.[(((triple8 ((((triple8 triple10) -> rule8) triple9) -> rule3)) -> rule2))]