Anne is green. Anne is smart. Bob is nice. Bob is red. Bob is rough. Bob is young. Charlie is cold. Charlie is green. Harry is cold. Harry is green. Harry is rough. Harry is smart. All young people are rough. All red people are nice. If someone is smart then they are red. All smart, nice people are cold. Cold, green people are young. All young people are cold.
Harry is nice.