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