premise: Virginia has not visited Saint Vincent & the Grenadines, Marsha has not visited Angola, Flora has visited Algeria and if Virginia has visited Saint Vincent & the Grenadines then Jennie has visited Libya
hypothesis: Jennie has not visited Libya