premise: Jenny has not visited Republic of the Congo, Alberta has visited United Kingdom, Cindy has not visited Venezuela and if Cindy has visited Venezuela then Nina has visited Somalia
hypothesis: Nina has not visited Somalia