premise: Enrique has not visited Laredo, Ronnie has visited Valley City, Nelson has not visited Morehead City and if Nelson has not visited Morehead City then Mario has visited Grand Island
hypothesis: Mario has not visited Grand Island