Charlie is blue. Charlie is nice. Charlie is smart. Fiona is blue. Fiona is green. Fiona is nice. Fiona is red. Fiona is smart. Fiona is young. Harry is green. Harry is kind. Harry is nice. If something is young and green then it is red. If something is young then it is blue. If Harry is nice then Harry is blue. If something is blue and kind then it is smart. If Fiona is smart and Fiona is young then Fiona is blue. If something is red and young then it is kind.
Harry is not smart.