premise: Larry has only visited Nigeria, Jesus has only visited Uganda, Carlos has only visited South Korea, Willie has only visited Denmark, Shane has only visited Federated States of Micronesia, Johnny has only visited Eritrea, Allan has only visited Brunei, Armando has only visited Honduras, Leo has only visited Nepal, Brandon has only visited Colombia
hypothesis: Shane didn't visit Nauru