premise: Miguel has only visited Uzbekistan, Steven has only visited Vatican City, Marc has only visited Croatia, Walter has only visited Trinidad & Tobago, Harvey has only visited Honduras, Warren has only visited Pakistan, Andy has only visited Guyana, Edwin has only visited Jamaica, Sidney has only visited Oman
hypothesis: Walter didn't visit Paraguay