premise: Donna has not visited Djibouti, Lindsay has visited Mauritius, Alma has visited Turkmenistan and if Lindsay has visited Mauritius then Lola has visited Saint Vincent & the Grenadines
hypothesis: Lola has not visited Saint Vincent & the Grenadines