Anne is blue. Anne is rough. Anne is smart. Anne is white. Dave is big. Dave is nice. Dave is white. Gary is big. Gary is not blue. Gary is not furry. Gary is rough. Gary is smart. If someone is smart then they are not nice. If someone is furry then they are not smart.
Gary is not white.