premise: Stacy has not visited Liberia, Antoinette has visited Djibouti, Leslie has visited Egypt and if Antoinette has visited Djibouti then Kay has visited Equatorial Guinea
hypothesis: Kay has not visited Equatorial Guinea