premise: Alison has not visited Malaysia, Karen has not visited Federated States of Micronesia, Lynda has visited United States and if Karen has not visited Federated States of Micronesia then Vanessa has not visited Croatia
hypothesis: Vanessa has not visited Croatia