The bald eagle needs the cow. The cow needs the dog. The dog needs the cow. If someone needs the cow then they like the cow. If someone likes the bald eagle then the bald eagle does not like the cow. If the dog sees the bald eagle and the dog likes the cow then the cow likes the dog.
The bald eagle does not need the cow.
@0: The bald eagle needs the cow.[(triple1)] The cow needs the dog.[(triple2)] The dog needs the cow.[(triple3)] @1: The bald eagle likes the cow.[(((triple1) -> rule1))] The dog likes the cow.[(((triple3) -> rule1))]