Anne is furry. Anne is nice. Anne is white. Bob is kind. Charlie is big. Charlie is quiet. Charlie is white. Dave is furry. Dave is kind. Dave is quiet. Dave is smart. Furry things are nice. If something is quiet then it is big. All quiet, white things are smart. If something is smart and kind then it is furry. Quiet things are smart. All kind things are white. White things are big. All big things are quiet. If something is not big then it is not quiet.
Anne is not smart.