premise: Betty has not visited Croatia, Pearl has not visited Saint Vincent & the Grenadines, Jennie has visited China and if Pearl has visited Saint Vincent & the Grenadines then Harriet has visited Canada
hypothesis: Harriet has not visited Canada