premise: Linda has not visited Slovakia, Brandi has visited South Korea, Evelyn has not visited Dominican Republic and if Evelyn has visited Dominican Republic then Tracy has visited Syria
hypothesis: Tracy has not visited Syria