premise: Mitchell has not visited Grand Rapids, Ray has not visited Scottsdale, Alfred has visited Rochester and if Mitchell has not visited Grand Rapids then Jose has not visited Moab
hypothesis: Jose has not visited Moab