Anne is blue. Anne is round. Fiona is white. If Anne is round then Anne is white. All round, smart things are green. If something is smart then it is red. If Fiona is red and Fiona is round then Fiona is quiet. If Fiona is white then Fiona is quiet. If something is red and blue then it is round.
Fiona is not red.