Anne is blue. Anne is furry. Anne is not nice. Anne is red. Anne is not rough. Bob is rough. Dave is blue. Dave is furry. Dave is nice. Dave is red. Dave is white. Erin is blue. Erin is furry. Erin is nice. Erin is rough. If something is not blue then it is furry. White, green things are nice.
Bob is not nice.