premise: Henry has not visited West Palm Beach, Thomas has not visited Wellsburg, Daniel has visited Coral Gables and if Henry has visited West Palm Beach then Billy has visited Massillon
hypothesis: Billy has not visited Massillon