premise: Larry has not visited North Carolina, Corey has not visited Coral Gables, Jordan has visited Boston and if Corey has not visited Coral Gables then Clifton has visited Jacksonville
hypothesis: Clifton has visited Jacksonville