premise: Janet has not visited Sierra Leone, Iris has visited Panama, Genevieve has not visited Liberia and if Genevieve has not visited Liberia then Sylvia has visited United Kingdom
hypothesis: Sylvia has not visited United Kingdom