premise: Terri has not visited Luxembourg, Erika has visited Suriname, Dolores has not visited Djibouti and if Dolores has not visited Djibouti then Lindsey has not visited South Africa
hypothesis: Lindsey has not visited South Africa