The cow is green. The cow sees the dog. The cow visits the dog. The dog eats the lion. The dog sees the cow. The lion eats the cow. The lion does not see the dog. If someone eats the dog and the dog eats the lion then they visit the lion.
The lion visits the dog.
@0: The cow is green.[(triple1)] The cow sees the dog.[(triple2)] The cow visits the dog.[(triple3)] The dog eats the lion.[(triple4)] The dog sees the cow.[(triple5)] The lion does not see the dog.[(triple7)] The lion eats the cow.[(triple6)]