premise: Jack has not visited Hot Springs, Derrick has not visited Lafayette, Carlos has visited Groton and if Jack has not visited Hot Springs then Hugh has visited Charlestown
hypothesis: Hugh has not visited Charlestown