The cow eats the lion. The cow sees the lion. The cow sees the squirrel. The cow sees the tiger. The lion eats the cow. The lion sees the tiger. The lion visits the cow. The squirrel eats the cow. The squirrel visits the cow. The squirrel visits the tiger. The tiger sees the lion. The tiger visits the lion. If the tiger eats the squirrel and the squirrel visits the cow then the tiger sees the squirrel.
The tiger does not see the squirrel.
@0: The cow eats the lion.[(triple1)] The cow sees the lion.[(triple2)] The cow sees the squirrel.[(triple3)] The cow sees the tiger.[(triple4)] The lion eats the cow.[(triple5)] The lion sees the tiger.[(triple6)] The lion visits the cow.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel visits the cow.[(triple9)] The squirrel visits the tiger.[(triple10)] The tiger sees the lion.[(triple11)] The tiger visits the lion.[(triple12)]