premise: Edna has not visited United States, Heidi has not visited Ghana, Luz has visited Austria and if Edna has not visited United States then Iris has not visited Timor-Leste
hypothesis: Iris has not visited Timor-Leste