premise: Denise has not visited Palau, Cassandra has not visited Togo, Kristine has visited The Bahamas and if Cassandra has not visited Togo then Katrina has not visited Vatican City
hypothesis: Katrina has not visited Vatican City