The cat is green. If something is nice and not red then it is not big. All big, red things are green. Big things are nice. All red things are nice. If something is not big then it is young. If the cat is nice then the cat is not green.
The cat is not red.