premise: Sean has not visited Boonville, Gene has visited Gastonia, Perry has not visited Park Ridge and if Perry has not visited Park Ridge then Shane has not visited Eastchester
hypothesis: Shane has not visited Eastchester