premise: Wendy has visited Vatican City, Terri has not visited Ecuador, Carol has visited Maldives and if Wendy has visited Vatican City then Maxine has visited Antigua & Barbuda
hypothesis: Maxine has visited Antigua & Barbuda