premise: Everyone has visited Bangladesh, Croatia, Democratic Republic of the Congo, Egypt, Kenya, Tajikistan, United States, Syria, Moldova, Mauritius, Montenegro, Vatican City, Malta, Nauru and Eritrea
hypothesis: Calvin didn't visit Brazil