premise: Lindsey has not visited Brazil, Gladys has not visited Central African Republic, Kristin has visited Finland and if Lindsey has not visited Brazil then Agnes has visited Cyprus
hypothesis: Agnes has visited Cyprus