premise: Erika has not visited Central African Republic, Cathy has visited South Korea, Joyce has not visited Haiti and if Joyce has visited Haiti then Vickie has visited Pakistan
hypothesis: Vickie has not visited Pakistan