Anne is blue. Anne is nice. Anne is red. Anne is round. Fiona is cold. Fiona is round. Fiona is smart. Gary is blue. Gary is cold. Gary is green. If Fiona is round then Fiona is red. Smart, red things are nice.
Fiona is not green.