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