premise: Marvin has not visited North Hempstead, Carlos has visited New Bedford, Joel has not visited Sallisaw and if Joel has not visited Sallisaw then Henry has visited Winter Park
hypothesis: Henry has not visited Winter Park