premise: Jill has not visited Armenia, Leah has visited United States, Sharon has not visited Timor-Leste and if Sharon has visited Timor-Leste then Rose has visited São Tomé & Prícipe
hypothesis: Rose has visited São Tomé & Prícipe