premise: Leslie has not visited Utah, Alfredo has not visited Laguna Beach, Duane has visited Point Pleasant and if Leslie has not visited Utah then Marcus has visited Elizabeth City
hypothesis: Marcus has not visited Elizabeth City