premise: Adrian has only visited Timor-Leste, Samuel has only visited Austria, Troy has only visited Republic of the Congo, Allan has only visited Turkey, Angel has only visited Mauritania
hypothesis: Alan didn't visit Austria