The cat eats the lion. The cat is green. The cat is red. The cat sees the lion. The lion is red. The lion does not see the cat. The lion sees the mouse. The mouse eats the cat. The mouse eats the lion. The mouse is green. The mouse is not rough. The mouse sees the lion. If something sees the lion then it sees the mouse.
The lion does not eat the mouse.