premise: Carmen has not visited Federated States of Micronesia, Jennifer has not visited Australia, Thelma has visited Finland and if Jennifer has visited Australia then Gladys has visited Uzbekistan
hypothesis: Gladys has not visited Uzbekistan