The lion does not eat the mouse. The mouse does not eat the lion. The mouse is big. The mouse needs the lion. The mouse needs the tiger. The mouse visits the tiger. The tiger does not eat the lion. The tiger is big. The tiger is not nice. The tiger is rough. If something visits the mouse then the mouse needs the lion. If the mouse eats the tiger and the tiger does not visit the mouse then the tiger is not big. If something visits the mouse then it does not eat the mouse. If something needs the mouse then it does not eat the tiger. If something eats the lion then the lion is rough. If the tiger needs the mouse and the tiger is nice then the tiger visits the lion.
The tiger does not visit the lion.