premise: Dawn has not visited Nigeria, Ruth has visited Montenegro, Lois has not visited Slovenia and if Lois has not visited Slovenia then Leah has visited Republic of the Congo
hypothesis: Leah has visited Republic of the Congo