premise: Rick has not visited New Glarus, Roberto has not visited Waterford, Vincent has visited Shepherdstown and if Roberto has visited Waterford then Jack has visited Tullahoma
hypothesis: Jack has not visited Tullahoma