The bear visits the tiger. The cow eats the tiger. The squirrel visits the bear. The tiger likes the cow. If the tiger visits the cow and the cow eats the squirrel then the squirrel visits the cow.
The squirrel visits the bear.
@0: The bear visits the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The squirrel visits the bear.[(triple3)] The tiger likes the cow.[(triple4)]