premise: Julian has not visited Ocean City, Craig has not visited Walpi, Vernon has visited Fayetteville and if Julian has visited Ocean City then Donald has visited Santa Monica
hypothesis: Donald has visited Santa Monica