The cat sees the tiger. The lion visits the tiger. The tiger visits the lion. If someone visits the cat and the cat likes the lion then they like the lion.
The tiger does not visit the lion.
@0: The cat sees the tiger.[(triple1)] The lion visits the tiger.[(triple2)] The tiger visits the lion.[(triple3)]