premise: Vanessa has not visited São Tomé & Prícipe, Ida has not visited Djibouti, Claudia has visited North Korea and if Vanessa has visited São Tomé & Prícipe then Tiffany has visited Kiribati
hypothesis: Tiffany has visited Kiribati