premise: Margaret has not visited Vatican City, Anita has visited Bosnia & Herzegovinia, Dana has not visited Finland and if Dana has not visited Finland then Dianne has not visited Nigeria
hypothesis: Dianne has not visited Nigeria