premise: Mattie has not visited Tanzania, Emily has visited Central African Republic, Dolores has not visited Slovenia and if Dolores has not visited Slovenia then Heather has visited Peru
hypothesis: Heather has visited Peru