premise: Michele has not visited Honduras, Janice has visited Sri Lanka, Tammy has visited North Korea and if Tammy has visited North Korea then Geneva has visited Saint Vincent & the Grenadines
hypothesis: Geneva has not visited Saint Vincent & the Grenadines