premise: Hilda has not visited Federated States of Micronesia, Beverly has visited Comoros, Marsha has visited Bahrain and if Marsha has visited Bahrain then Wilma has visited Monaco
hypothesis: Wilma has not visited Monaco