The bald eagle is kind. The bald eagle needs the cow. The cow chases the bald eagle. The cow eats the squirrel. The cow is not green. The cow is red. The squirrel is not rough. If something eats the bald eagle then the bald eagle eats the cow. If the bald eagle is red and the bald eagle does not eat the squirrel then the squirrel is rough. If something eats the cow then it does not chase the cow. If something needs the cow and the cow needs the squirrel then it chases the bald eagle. If something chases the bald eagle then it eats the bald eagle. If something needs the squirrel then the squirrel is red. If something needs the cow then it chases the squirrel. If something chases the cow and it needs the cow then it is not green.
The bald eagle chases the squirrel.
@0: The bald eagle is kind.[(triple1)] The bald eagle needs the cow.[(triple2)] The cow chases the bald eagle.[(triple3)] The cow eats the squirrel.[(triple4)] The cow is not green.[(triple5)] The cow is red.[(triple6)] The squirrel is not rough.[(triple7)] @1: The bald eagle chases the squirrel.[(((triple2) -> rule7))] The cow eats the bald eagle.[(((triple3) -> rule5))] @2: The bald eagle eats the cow.[(((((triple3) -> rule5)) -> rule1))] @3: The bald eagle does not chase the cow.[(((((((triple3) -> rule5)) -> rule1)) -> rule3))]