Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is not nice. Anne is red. Bob is big. Bob is furry. Bob is green. Bob is not nice. Bob is red. Bob is smart. If something is not red then it is not big. If something is nice then it is green. If something is red and not big then it is not blue.
Anne is not furry.