The bear needs the mouse. The bear sees the mouse. The dog is green. The dog is kind. The dog sees the lion. The lion is big. The mouse is kind. If the dog sees the lion then the lion sees the mouse. If something needs the mouse and the mouse is young then the mouse needs the bear. If something is young then it sees the mouse. If something visits the lion then it visits the bear. If the bear visits the dog then the bear sees the lion. If the dog is kind then the dog visits the lion. If something visits the lion and the lion needs the mouse then the mouse visits the bear. If something visits the mouse and it visits the dog then the dog is kind.
The dog does not visit the lion.