premise: Iris has not visited Dominican Republic, Mildred has not visited Sierra Leone, Jeanette has visited Suriname and if Mildred has not visited Sierra Leone then Edith has visited Syria
hypothesis: Edith has not visited Syria