premise: Ida has not visited Ukraine, Victoria has visited Somalia, Melody has not visited Guinea-Bissau and if Melody has not visited Guinea-Bissau then Catherine has visited Saudi Arabia
hypothesis: Catherine has not visited Saudi Arabia