Anne is blue. Anne is nice. Anne is red. Anne is rough. Bob is red. Bob is round. Charlie is rough. Charlie is round. Dave is blue. Dave is quiet. Dave is red. Dave is round. Rough people are blue. If someone is red then they are quiet. If someone is blue then they are nice. If Dave is furry then Dave is blue. All red people are rough. All quiet, nice people are furry. If someone is blue and nice then they are red. All nice, quiet people are round.
Charlie is not quiet.