The bear sees the lion. The cow is green. The dog visits the lion. The lion visits the bear. If something does not visit the dog then the dog is red. If something does not visit the lion then the lion sees the dog.
The dog does not visit the cow.