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