premise: Max has not visited Shelbyville, Shawn has not visited Staunton, Herman has visited Ocean City and if Max has not visited Shelbyville then Jorge has visited Hodgenville
hypothesis: Jorge has not visited Hodgenville