premise: Genevieve has not visited Saint Kitts & Nevis, Rosa has not visited Iraq, Beulah has visited Brazil and if Genevieve has visited Saint Kitts & Nevis then Lucille has visited Mauritius
hypothesis: Lucille has visited Mauritius