The cat sees the tiger. The lion visits the tiger. The squirrel eats the cat. The tiger sees the lion. If something is round then it sees the squirrel. If something sees the squirrel then the squirrel visits the cat.
The lion does not visit the tiger.
@0: The cat sees the tiger.[(triple1)] The lion visits the tiger.[(triple2)] The squirrel eats the cat.[(triple3)] The tiger sees the lion.[(triple4)]