The cow does not chase the dog. The cow eats the dog. The cow eats the lion. The dog needs the cow. The lion eats the cow. The lion needs the cow. The lion needs the dog. If someone needs the dog and they chase the dog then the dog does not chase the cow. If someone eats the lion and the lion eats the dog then the dog needs the cow. If someone needs the dog then the dog needs the lion.
The dog needs the cow.
@0: The cow does not chase the dog.[(triple1)] The cow eats the dog.[(triple2)] The cow eats the lion.[(triple3)] The dog needs the cow.[(triple4)] The lion eats the cow.[(triple5)] The lion needs the cow.[(triple6)] The lion needs the dog.[(triple7)] @1: The dog needs the lion.[(((triple7) -> rule3))]