Anne is big. Anne is blue. Anne is furry. Anne is red. Anne is rough. Anne is round. Anne is white. Dave is blue. Dave is red. Dave is rough. Dave is white. Gary is big. Gary is furry. Gary is red. Gary is rough. Gary is white. If Gary is round and Gary is furry then Gary is blue. If Gary is white then Gary is round. If Dave is big and Dave is red then Dave is round. Furry, blue things are red. Big, red things are white. Blue, round things are rough.
Anne is not white.