The dog likes the lion. The dog visits the lion. The dog visits the mouse. The lion is rough. The lion likes the mouse. The lion needs the dog. The lion visits the dog. The lion visits the mouse. The mouse is green. The mouse is rough. The mouse needs the lion. The mouse visits the dog. If the mouse visits the dog and the dog needs the lion then the mouse is cold. If something needs the mouse then the mouse needs the dog. If something visits the mouse and the mouse visits the dog then the dog needs the lion. If something visits the dog then it likes the mouse. If something is cold then it visits the lion. If something is green and it needs the dog then it visits the mouse.
The mouse does not visit the lion.