Anne is cold. Anne is furry. Anne is green. Anne is round. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. If Fiona is cold and Fiona is smart then Fiona is blue. If something is red then it is smart. If something is round and green then it is cold.
Anne is not green.