Anne is smart. Charlie is cold. Charlie is green. Charlie is round. Fiona is blue. Fiona is green. Fiona is red. Fiona is smart. Harry is round. Harry is smart. All green people are cold. All white people are red. All round people are smart. Cold, round people are green. If Fiona is blue and Fiona is smart then Fiona is round. If someone is red and cold then they are blue. If Harry is round then Harry is white. If Anne is blue then Anne is round. Red people are green.
Harry is not red.