premise: Charlotte has not visited Bosnia & Herzegovinia, Ramona has visited Nigeria, Harriet has not visited Kazakhstan and if Harriet has not visited Kazakhstan then Mattie has visited Afghanistan
hypothesis: Mattie has visited Afghanistan