premise: Everyone has visited United Kingdom, Federated States of Micronesia, Japan, Lithuania, North Korea, Liberia, Denmark, Guinea-Bissau, Angola, Dominica, Togo, Bahrain, Qatar, Indonesia, Liechtenstein and Ireland
hypothesis: Paul didn't visit Russia