The lion needs the mouse. The mouse is blue. The mouse visits the lion. If something is young and it visits the mouse then the mouse visits the lion. If something visits the lion then the lion is nice. If something visits the mouse then the mouse sees the lion. If the lion visits the mouse and the mouse sees the lion then the lion needs the mouse. All young things are red. If the mouse visits the lion then the lion sees the mouse. If something visits the lion then the lion visits the mouse. If something visits the mouse and the mouse sees the lion then it needs the mouse.
The mouse does not visit the lion.