premise: Ronnie has only visited Costa Rica, Tyler has only visited Vanuatu, Jeffrey has only visited Cameroon, Leroy has only visited Paraguay, Jeremy has only visited Niger, Melvin has only visited Vatican City, Steve has only visited Suriname, Walter has only visited Solomon Islands
hypothesis: Melvin didn't visit Denmark