premise: Allan has not visited Central City, Hugh has not visited Hyde Park, Harry has visited Clinton and if Allan has not visited Central City then Jason has not visited Meridian
hypothesis: Jason has not visited Meridian