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
Vanessa has not visited Croatia