premise: Samuel has only visited Kosovo, Herman has only visited Barbados, Ryan has only visited Greece, Max has only visited Macedonia, Joe has only visited Sri Lanka, Stephen has only visited United States, Miguel has only visited Paraguay, Armando has only visited Ethiopia, Roland has only visited Trinidad & Tobago, Tim has only visited Brunei, Jimmie has only visited Japan
hypothesis: Samuel didn't visit North Korea