premise: Kristine has not visited Venezuela, Kathy has not visited Guatemala, Sherri has visited Central African Republic and if Kathy has not visited Guatemala then Nancy has visited Philippines
hypothesis: Nancy has visited Philippines