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