Bob is smart. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is smart. Harry is cold. Harry is nice. All kind, nice people are rough. Kind, green people are smart. All nice people are rough. If Harry is smart then Harry is kind. If Charlie is cold and Charlie is big then Charlie is nice. All green, smart people are cold.
Harry is green.