premise: Christian has not visited Hot Springs, Robert has not visited Yankton, Mark has visited Fort Payne and if Christian has visited Hot Springs then Felix has visited Palmdale
hypothesis: Felix has not visited Palmdale