The cat is not big. The cow eats the cat. The lion visits the cow. The mouse is big. If something eats the lion and the lion does not eat the mouse then the mouse does not visit the cat. If something eats the mouse then the mouse chases the cat. If the lion eats the mouse and the lion is cold then the mouse does not chase the cow. If something is cold then it is blue. If something chases the cow and the cow does not eat the lion then it is blue. If the mouse does not chase the cow then the mouse is cold. If the cow chases the cat then the cat is not blue. If something is blue then it does not visit the cat.
The lion is not blue.