Dave is quiet. Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is white. If Dave is quiet and Dave is red then Dave is round. Quiet, cold things are white. Quiet things are cold. All round, white things are red. All white, cold things are red. Cold, big things are blue.
Fiona is not red.