Charlie is white. Dave is green. Dave is nice. Dave is red. Gary is kind. Gary is not white. Harry is green. Harry is nice. Harry is rough. Harry is white. All rough things are green. All red, white things are rough. All green things are red.
Harry is green.