Anne is big. Anne is blue. Anne is cold. Anne is not furry. Anne is red. Anne is round. Anne is white. Dave is big. Dave is not blue. Dave is cold. Dave is red. Dave is round. If Dave is round and Dave is red then Dave is furry. If Dave is round then Dave is furry. Red people are white. If Dave is not round then Dave is blue. If Dave is big and Dave is not white then Dave is red. If someone is blue and not red then they are not white.
Anne is not round.