premise: Wendy has not visited Australia, Lillie has not visited Haiti, Rosie has visited Djibouti and if Wendy has visited Australia then Sonia has visited São Tomé & Prícipe
hypothesis: Sonia has visited São Tomé & Prícipe