The cat sees the dog. The dog eats the cat. The squirrel sees the tiger. The tiger visits the squirrel. If something sees the tiger and the tiger does not eat the squirrel then it is young. If something sees the squirrel then the squirrel visits the dog. If something is young then it does not eat the dog.
The squirrel sees the tiger.
@0: The cat sees the dog.[(triple1)] The dog eats the cat.[(triple2)] The squirrel sees the tiger.[(triple3)] The tiger visits the squirrel.[(triple4)]