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