premise: Florence has not visited Sri Lanka, Ruby has visited Philippines, Terry has not visited Côte D'ivore and if Terry has visited Côte D'ivore then Veronica has visited Antigua & Barbuda
hypothesis: Veronica has visited Antigua & Barbuda