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