The cow needs the dog. The dog sees the tiger. The lion needs the tiger. The tiger needs the lion. If something sees the tiger then it visits the lion. If something needs the tiger and the tiger visits the cow then it needs the dog.
The dog is round.
@0: The cow needs the dog.[(triple1)] The dog sees the tiger.[(triple2)] The lion needs the tiger.[(triple3)] The tiger needs the lion.[(triple4)] @1: The dog visits the lion.[(((triple2) -> rule1))]