premise: Antigua lies within the West Indies region.
hypothesis: Antigua ( [ ænˈtiːɡə ] ) , also known as Waladli or Wadadli by the native population , is an island in the West Indies . It is one of the Leeward Islands in the Caribbean region and the main island of the country of Antigua and Barbuda .