Anne is round. Dave is white. If something is blue and smart then it is red. Smart things are young. All young things are red. If something is smart and blue then it is red. Round things are blue. All furry things are young. If something is red then it is smart. White things are smart.
Anne is not smart.