Anne is blue. Anne is furry. Anne is quiet. Anne is smart. Anne is white. Dave is blue. Dave is furry. Dave is round. Fiona is blue. Fiona is furry. Fiona is smart. Fiona is white. Harry is blue. Harry is quiet. Harry is red. Smart, red things are blue. If Harry is white then Harry is round. Blue, red things are round. All quiet things are smart. Red, round things are furry. All white things are blue. If something is white and red then it is smart. White things are smart.
Fiona is not white.