The lion chases the mouse. The lion is big. The mouse eats the lion. If something sees the lion and it is red then the lion sees the mouse. If something chases the mouse then it eats the lion. If something eats the lion and the lion eats the mouse then it eats the mouse. If something eats the lion then the lion sees the mouse. If something chases the mouse then it is red. If something is red and young then it sees the mouse. If the lion sees the mouse and the lion chases the mouse then the mouse sees the lion. If something chases the mouse and it eats the lion then it is red.
The lion is not red.