premise: Jeffrey has not visited Moses Lake, Francis has not visited Salt Lake City, Mario has visited Kapaa and if Francis has not visited Salt Lake City then Julian has visited Hibbing
hypothesis: Julian has not visited Hibbing