premise: Paula has not visited Finland, Joan has not visited Suriname, Kayla has visited Tuvalu and if Paula has not visited Finland then Kathy has visited Saint Kitts & Nevis
hypothesis: Kathy has visited Saint Kitts & Nevis