Bob is kind. Charlie is cold. Harry is kind. All kind things are green. All smart things are kind. Smart things are green. If Bob is not young then Bob is green. If something is rough then it is green. All green things are kind. Red, young things are green. If something is red and smart then it is cold.
Charlie is cold.