premise: Steven has only visited Mozambique, Bulgaria, Namibia, Kenya, Costa Rica, Slovakia, Jamaica, Oman, Solomon Islands, France, Vietnam, North Korea, Mauritania, Bangladesh, Kiribati and The Bahamas
hypothesis: Roberto didn't visit Oman