premise: Alberta has not visited Nepal, Lucille has not visited Saint Vincent & the Grenadines, Tina has visited United States and if Alberta has not visited Nepal then Anne has visited Côte D'ivore
hypothesis: Anne has visited Côte D'ivore