premise: Kimberly has not visited Egypt, Tanya has visited Senegal, Christina has not visited Kenya and if Christina has not visited Kenya then Wendy has visited Federated States of Micronesia
hypothesis: Wendy has not visited Federated States of Micronesia