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