premise: Violet has not visited Russia, Gina has visited United States, Alice has visited Botswana and if Gina has visited United States then Constance has visited Saint Lucia
hypothesis: Constance has not visited Saint Lucia