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