The cat likes the cow. The cow likes the tiger. The lion needs the tiger. The tiger likes the cow. If something is blue and round then it visits the cat.
The tiger does not visit the cat.
@0: The cat likes the cow.[(triple1)] The cow likes the tiger.[(triple2)] The lion needs the tiger.[(triple3)] The tiger likes the cow.[(triple4)]