Anne is furry. Anne is green. Anne is quiet. Anne is not red. Anne is not round. Anne is smart. Anne is white. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Dave is not furry. Dave is not green. Dave is round. Dave is white. If someone is quiet and round then they are smart.
Dave is red.