The cat is not blue. If something is blue and not green then it is big. If something is not red then it is not green. If the cat is cold and the cat is not big then the cat is not red.
The cat is blue.