premise: Georgia has not visited Luxembourg, Vicki has not visited Croatia, Sheryl has visited Turkey and if Vicki has visited Croatia then Dolores has visited Equatorial Guinea
hypothesis: Dolores has not visited Equatorial Guinea