premise: Carol has not visited Saint Vincent & the Grenadines, Linda has visited Germany, Heidi has not visited Azerbaijan and if Heidi has not visited Azerbaijan then Nicole has visited South Africa
hypothesis: Nicole has not visited South Africa