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