Anne is blue. Anne is furry. Anne is red. Anne is rough. Anne is round. Dave is blue. Dave is cold. Dave is furry. Dave is red. Dave is rough. Dave is round. Dave is white. Gary is cold. Gary is red. Gary is rough. Gary is round. If Gary is rough then Gary is white. If someone is round then they are blue. If Gary is white and Gary is red then Gary is round. If Anne is blue and Anne is not red then Anne is rough. Cold people are white. Round, red people are rough. If someone is round and blue then they are cold. If someone is not white then they are not red.
Anne is not white.