premise: Carol has not visited Republic of the Congo, Esther has visited Mali, Joanna has visited Comoros and if Esther has visited Mali then Rebecca has visited Saint Kitts & Nevis
hypothesis: Rebecca has not visited Saint Kitts & Nevis