Anne is cold. Anne is green. Anne is kind. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is smart. Fiona is blue. Fiona is kind. Fiona is smart. Harry is blue. Harry is kind. All cold people are green. All round people are smart. Blue, rough people are round. Kind people are green. If Anne is smart then Anne is cold. If Anne is green and Anne is smart then Anne is blue. If Fiona is rough and Fiona is smart then Fiona is cold. All kind, green people are rough. All blue, smart people are cold.
Harry is smart.