Alan is cold. Alan is blue. Bob is young. Bob is round. Bob is rough. Bob is green. Bob is big. Charlie is young. Charlie is rough. Charlie is cold. Fred is nice. Fred is kind. If someone is blue and rough then they are red. If someone is rough and blue then they are cold. If someone is cold and young and round then they are red. If someone is round and green then they are blue. If someone is rough and kind and blue then they are nice. If someone is red and young and cold then they are kind.
Alan is not red.