premise: Ana has not visited Dominican Republic, Genevieve has visited Poland, Martha has not visited Kazakhstan and if Martha has visited Kazakhstan then Nina has visited Slovakia
hypothesis: Nina has not visited Slovakia