premise: Erika has not visited Ghana, Connie has visited Republic of the Congo, Mabel has not visited North Korea and if Mabel has not visited North Korea then Rhonda has not visited Colombia
hypothesis: Rhonda has not visited Colombia