premise: Sue has not visited Bosnia & Herzegovinia, Diana has visited Central African Republic, Norma has not visited Ireland and if Norma has visited Ireland then Diane has visited Denmark
hypothesis: Diane has not visited Denmark