premise: Dustin has not visited San Gabriel, Isaac has visited West Bend, Harry has not visited Port Huron and if Harry has not visited Port Huron then Joel has visited Midwest City
hypothesis: Joel has not visited Midwest City