Anne is blue. Anne is nice. Anne is red. Anne is round. Anne is smart. Anne is not white. Fiona is not blue. Fiona is round. Fiona is white. Gary is not blue. Gary is nice. Gary is not red. Gary is round. Gary is smart. Gary is white. Gary is young. All white things are smart. If something is white and not young then it is nice. If Anne is smart then Anne is nice.
Fiona is red.