premise: Annie has not visited Cyprus, Thelma has not visited Central African Republic, Candice has visited Netherlands and if Annie has visited Cyprus then Bonnie has visited Côte D'ivore
hypothesis: Bonnie has not visited Côte D'ivore