Bob is blue. Bob is cold. Bob is not smart. Charlie is cold. Charlie is not white. Fiona is not blue. Fiona is round. Fiona is not smart. Fiona is white. Fiona is young. Harry is blue. Harry is cold. Harry is green. Harry is smart. Harry is white. Harry is young. If something is smart then it is blue. If Harry is not round then Harry is smart. If something is white then it is cold. If something is round and not green then it is white. All round, smart things are white. If something is not blue then it is cold.
Charlie is not smart.