The cow is not red. The cow needs the lion. The cow needs the tiger. The cow visits the lion. The lion is red. The lion needs the cow. The lion does not need the tiger. The lion does not see the mouse. The mouse is big. The mouse is green. The mouse needs the cow. The tiger needs the mouse. The tiger sees the lion. The tiger does not visit the cow. The tiger visits the mouse. If something visits the lion and the lion sees the tiger then the lion is blue. If something sees the lion then it needs the mouse. If something visits the cow and it visits the mouse then the cow visits the tiger. If something is nice and green then it needs the lion. If the lion is big and something does not visit the lion then the lion visits the tiger. If something does not see the tiger and the tiger is not big then it does not see the cow. If something needs the lion and the lion needs the mouse then it visits the mouse. If something does not need the lion then it sees the lion.
The cow does not visit the mouse.