The bald eagle chases the cow. The bear needs the bald eagle. The cow does not need the bald eagle. If someone needs the cow then the cow likes the bald eagle. If someone is red and they need the bald eagle then the bald eagle chases the bear. If the bear needs the bald eagle then the bald eagle chases the bear. If the bald eagle needs the cow then the cow does not need the bald eagle. If someone is blue and they need the cow then the cow does not need the bald eagle. If someone chases the bald eagle then the bald eagle is red. If someone chases the bear then the bear needs the cow. If someone chases the bear then they like the bear.
The bald eagle does not chase the bear.
@0: The bald eagle chases the cow.[(triple1)] The bear needs the bald eagle.[(triple2)] The cow does not need the bald eagle.[(triple3)] @1: The bald eagle chases the bear.[(((triple2) -> rule3))] @2: The bald eagle likes the bear.[(((((triple2) -> rule3)) -> rule8))] The bear needs the cow.[(((((triple2) -> rule3)) -> rule7))] @3: The cow likes the bald eagle.[(((((((triple2) -> rule3)) -> rule7)) -> rule1))]