The cat chases the lion. The cat chases the mouse. The cat is cold. The cat visits the lion. The cat visits the mouse. The lion chases the cat. The lion chases the mouse. The lion is round. The lion needs the cat. The lion needs the mouse. The lion visits the mouse. The mouse chases the lion. The mouse is round. The mouse is young. The mouse needs the cat. The mouse needs the lion. If something visits the lion then it needs the cat. If something chases the lion and it chases the mouse then the mouse chases the cat. If something is green then it visits the mouse.
The mouse does not visit the mouse.