premise: Everyone has visited Portugal, Oman, Kuwait, Malta, Lebanon, Democratic Republic of the Congo, Greece, Macedonia, Lithuania, Botswana, Honduras, Albania, India and Guinea
hypothesis: Eduardo didn't visit Vatican City