The cat is green. The cat is kind. The cat is nice. The cat is red. The cat is young. Green things are young. If the cat is red and the cat is young then the cat is nice. All nice things are green.
The cat is not red.