Anne is green. Anne is nice. Anne is not young. Erin is cold. Fiona is smart. Fiona is white. Gary is smart. Nice things are round. All smart, cold things are nice. If something is white and smart then it is young. All round things are white. If Gary is smart and Gary is white then Gary is young. Smart things are cold. If Fiona is green then Fiona is smart. If something is not cold and not young then it is nice. If Anne is cold and Anne is not white then Anne is not smart.
Gary is not cold.