Anne is furry. Anne is green. Anne is kind. Anne is smart. Anne is not young. Erin is kind. Erin is smart. Fiona is cold. Fiona is green. Fiona is kind. Fiona is not red. Fiona is smart. Fiona is not young. Gary is cold. Gary is furry. Gary is kind. All cold things are green. If something is green then it is smart. If something is smart and not cold then it is not red.
Fiona is not green.