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