premise: Alice has not visited Finland, Nellie has not visited Republic of the Congo, Marsha has visited Russia and if Nellie has not visited Republic of the Congo then Natasha has visited Eritrea
hypothesis: Natasha has visited Eritrea