The bear chases the dog. The cow is rough. The dog needs the cow. If something needs the cow then the cow needs the dog.
The cow does not need the dog.
@0: The bear chases the dog.[(triple1)] The cow is rough.[(triple2)] The dog needs the cow.[(triple3)] @1: The cow needs the dog.[(((triple3) -> rule1))]