The cow chases the rabbit. The rabbit chases the cow. The rabbit does not eat the cow. If something needs the rabbit then the rabbit chases the cow. If something chases the cow then the cow needs the rabbit.
The cow is not young.
@0: The cow chases the rabbit.[(triple1)] The rabbit chases the cow.[(triple2)] The rabbit does not eat the cow.[(triple3)] @1: The cow needs the rabbit.[(((triple2) -> rule2))]