premise: Luis has only visited Russia, Troy has only visited Equatorial Guinea, Barry has only visited Rwanda, Alexander has only visited Lithuania, Mario has only visited Solomon Islands, Max has only visited Belgium, Roger has only visited Libya, Joel has only visited Saint Lucia, Jim has only visited Poland
hypothesis: Mario didn't visit North Korea