premise: Nathaniel has not visited Warner Robins, Raul has visited Warwick, Lonnie has not visited Mountain View and if Lonnie has not visited Mountain View then Jose has visited Elkins
hypothesis: Jose has not visited Elkins