premise: Delores has not visited Guinea, Marion has visited Republic of the Congo, Katrina has not visited Algeria and if Katrina has not visited Algeria then Sonya has not visited Libya
hypothesis: Sonya has not visited Libya