Charlie is blue. Charlie is cold. Charlie is red. Charlie is smart. Fiona is blue. Fiona is green. Fiona is rough. Fiona is smart. Harry is cold. Harry is red. Harry is rough. Harry is smart. If something is green and blue then it is rough. All red, cold things are green. If Fiona is green then Fiona is smart. All smart, rough things are white. Smart, green things are rough. White things are blue. If something is rough then it is red. If Harry is green and Harry is white then Harry is red.
Harry is not smart.