premise: Nelson has only visited Cameroon, Jeff has only visited Monaco, Walter has only visited United States, Melvin has only visited Nicaragua, Ryan has only visited Equatorial Guinea
hypothesis: Walter didn't visit United States