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