Anne is quiet. Dave is smart. Fiona is red. Smart, red things are nice. If something is nice then it is smart. All quiet, red things are blue. Quiet, white things are nice. If Dave is quiet and Dave is smart then Dave is white. If something is red then it is blue. All blue things are nice. All quiet things are smart.
Anne is smart.