premise: Franklin has not visited Somerville, Clifton has not visited Englewood, Daryl has visited Manchester and if Franklin has not visited Somerville then Jerry has visited Coral Gables
hypothesis: Jerry has visited Coral Gables