premise: Amy has not visited Uruguay, Kristine has visited Iran, Kathleen has visited Timor-Leste and if Kathleen has visited Timor-Leste then Thelma has visited Solomon Islands
hypothesis: Thelma has visited Solomon Islands