premise: Bryan has not visited Youngstown, Bradley has visited Fontana, Harvey has not visited Abingdon and if Harvey has not visited Abingdon then Leslie has visited Coral Gables
hypothesis: Leslie has not visited Coral Gables