premise: Clayton has not visited Garden City, Shane has not visited Carthage, Felix has visited Philadelphia and if Clayton has not visited Garden City then Herbert has visited Anderson
hypothesis: Herbert has not visited Anderson