premise: Anthony has only visited Mauritius, Palestine, Nigeria, Mauritania, Liechtenstein, São Tomé & Prícipe, Venezuela, Kuwait, Senegal, Belize, Mexico, Japan, Afghanistan, Switzerland, Mozambique, Moldova and Vietnam
hypothesis: Clifford didn't visit Liechtenstein