Anne is smart. Fiona is nice. Gary is blue. If someone is blue and smart then they are nice. Furry, big people are not smart. If someone is furry and smart then they are not blue. If someone is red and not nice then they are not furry. If Fiona is cold and Fiona is not nice then Fiona is smart. If someone is blue and not nice then they are red.
Gary is not blue.