premise: Hilda has not visited Liberia, Glenda has not visited Democratic Republic of the Congo, Tracy has visited Portugal and if Hilda has visited Liberia then Sylvia has visited Palestine
hypothesis: Sylvia has not visited Palestine