premise: Jerome has not visited South Hadley, Harry has visited New Madrid, Vernon has not visited Carrollton and if Vernon has not visited Carrollton then Justin has visited Hoquiam
hypothesis: Justin has not visited Hoquiam