premise: Walter has not visited San Simeon, Ernest has not visited Heber City, Marcus has visited Pine Bluff and if Ernest has visited Heber City then Jose has visited Youngstown
hypothesis: Jose has not visited Youngstown