Anne is furry. Anne is green. Anne is white. Dave is furry. Dave is nice. Dave is round. Dave is white. If someone is nice then they are big. If Anne is green and Anne is furry then Anne is big. Smart people are big. If Dave is white then Dave is smart. Big people are smart. If Anne is white then Anne is nice.
Anne is not white.