The cat eats the mouse. The cat is red. The cat needs the mouse. The dog is green. The mouse is blue. The mouse needs the cat. The mouse needs the dog. The mouse visits the rabbit. The rabbit needs the mouse. The rabbit visits the cat. If something eats the cat then the cat needs the dog. If something eats the mouse and it needs the rabbit then it eats the dog. If something eats the dog then it is green. If something is red then it eats the dog. If something is green then it needs the mouse. If something visits the cat and the cat is blue then it is green. If something needs the dog then it needs the mouse. All green things are blue.
The mouse is not green.