premise: Hugh has not visited El Monte, George has not visited Stoughton, Kelly has visited Columbus and if George has not visited Stoughton then Walter has not visited San Clemente
hypothesis: Walter has not visited San Clemente