Dave is cold. Dave is green. Dave is nice. Dave is quiet. Dave is red. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Harry is cold. Harry is green. Harry is nice. Harry is red. Harry is rough. All green, quiet things are smart. All red, smart things are cold. If Harry is red and Harry is green then Harry is rough.
Harry is nice.