premise: Lynn has not visited Qatar, Amy has visited Eswatini, Theresa has not visited São Tomé & Prícipe and if Theresa has visited São Tomé & Prícipe then Jodi has visited Democratic Republic of the Congo
hypothesis: Jodi has visited Democratic Republic of the Congo