Anne is not furry. Anne is round. Bob is big. Bob is red. Bob is rough. Bob is round. Dave is big. Dave is furry. Dave is not green. Dave is not nice. Dave is red. Dave is round. If something is not furry then it is big. If something is nice and not green then it is not red. If something is red then it is round. If Anne is nice and Anne is not rough then Anne is big. If something is green then it is red. If something is not big then it is red.
Anne is not red.