premise: Jean has not visited Marshall Islands, Geneva has not visited Russia, Heidi has visited Senegal and if Jean has not visited Marshall Islands then Veronica has visited Vatican City
hypothesis: Veronica has not visited Vatican City