premise: Phillip has only visited Andorra, Dan has only visited Papua New Guinea, Julio has only visited Sweden, Neil has only visited India, Juan has only visited South Korea
hypothesis: Antonio didn't visit Papua New Guinea