The lion is nice. The lion does not visit the mouse. The lion visits the rabbit. The mouse eats the lion. The mouse visits the lion. The mouse visits the rabbit. The rabbit needs the lion. If something is nice and it does not visit the lion then it is red.
The lion is not red.