premise: Amber has not visited Antigua & Barbuda, Veronica has visited Vanuatu, Stephanie has not visited Dominican Republic and if Stephanie has not visited Dominican Republic then Diana has visited Senegal
hypothesis: Diana has not visited Senegal