premise: Kyle has only visited Eswatini, Jordan has only visited Timor-Leste, Tommy has only visited Ecuador, Luis has only visited Madagascar, Joe has only visited Suriname, Bradley has only visited Sri Lanka, Johnny has only visited Slovenia
hypothesis: Johnny didn't visit Mauritius