premise: Bernice has not visited Saint Vincent & the Grenadines, Olivia has visited North Korea, Viola has not visited Grenada and if Viola has not visited Grenada then Heidi has visited Colombia
hypothesis: Heidi has visited Colombia