Anne is not red. Erin is green. Fiona is smart. Harry is green. If Fiona is young then Fiona is white. If Fiona is red and Fiona is cold then Fiona is young. If something is cold then it is red. If something is white then it is not green. All smart things are red. If something is red and smart then it is cold. If something is not red then it is young. If something is cold and not white then it is not red.
Harry is not green.