premise: Mario has only visited China, Democratic Republic of the Congo, Palau, Croatia, Mauritius, Liechtenstein, Kazakhstan, Russia, Turkmenistan, Poland, Sierra Leone, North Korea and Moldova
hypothesis: Willie didn't visit Kazakhstan