premise: Hector has not visited Yankton, Victor has not visited Carthage, Gene has visited Lebanon and if Hector has not visited Yankton then Jamie has not visited Rock Springs
hypothesis: Jamie has not visited Rock Springs