The bear needs the dog. The cow does not need the dog. The dog likes the cow. If someone needs the dog and they do not need the cow then the cow needs the dog. If someone needs the dog then they need the bear. If someone likes the bear and the bear is blue then the bear needs the dog.
The dog does not need the bear.
@0: The bear needs the dog.[(triple1)] The cow does not need the dog.[(triple2)] The dog likes the cow.[(triple3)] @1: The bear needs the bear.[(((triple1) -> rule2))]