Anne is blue. Anne is furry. Anne is green. Anne is red. Anne is round. Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is not round. Erin is kind. Erin is nice. Erin is red. If something is not round then it is red. If something is not round then it is green. If Bob is nice then Bob is furry. If Bob is nice and Bob is furry then Bob is kind. If something is furry and not red then it is nice. If Erin is furry and Erin is not green then Erin is blue. If something is furry and not nice then it is kind. If something is not kind then it is blue.
Anne is not red.