The cow likes the lion. The lion likes the rabbit. The rabbit likes the cow. If something likes the rabbit then the rabbit eats the lion. If something likes the cow and it visits the lion then the cow visits the lion.
The cow does not visit the lion.
@0: The cow likes the lion.[(triple1)] The lion likes the rabbit.[(triple2)] The rabbit likes the cow.[(triple3)] @1: The rabbit eats the lion.[(((triple2) -> rule1))]