The cow likes the lion. The dog needs the lion. The lion is young. If someone is young then they like the dog. If someone sees the cow and the cow likes the lion then the lion likes the cow.
The lion is not young.
@0: The cow likes the lion.[(triple1)] The dog needs the lion.[(triple2)] The lion is young.[(triple3)] @1: The lion likes the dog.[(((triple3) -> rule1))]