Anne is not blue. Anne is not furry. Anne is green. Anne is not quiet. Charlie is blue. Charlie is furry. Charlie is green. Charlie is red. Dave is kind. Dave is not quiet. Dave is rough. Erin is kind. If something is quiet and not furry then it is not rough. If something is furry then it is red. All quiet things are red. All kind, green things are not rough. If something is furry and not green then it is kind. If something is furry then it is red. All rough things are not red. If something is quiet and blue then it is red.
Charlie is not kind.