The cat chases the lion. The lion is kind. If someone visits the lion and the lion is kind then they visit the cat.
The lion does not visit the cat.
@0: The cat chases the lion.[(triple1)] The lion is kind.[(triple2)]