The cat chases the mouse. The lion eats the cat. The mouse eats the squirrel. The squirrel chases the cat. If something eats the cat then the cat is green. If something chases the lion then it eats the mouse. If the lion eats the cat then the lion is red.
The squirrel does not eat the mouse.