premise: Andy has not visited Biloxi, Ernest has not visited Lubbock, Jimmy has visited Stonington and if Ernest has not visited Lubbock then Clifton has not visited Santa Monica
hypothesis: Clifton has not visited Santa Monica