The dog eats the lion. The dog is not nice. The dog is not red. The dog sees the lion. The lion is big. The lion is nice. The lion sees the dog. If something visits the dog and it is red then the dog eats the lion. If the lion is red then the lion eats the dog.
The lion does not eat the dog.