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 bear chases 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))]