premise: Toni has not visited Libya, Patricia has not visited Democratic Republic of the Congo, Yolanda has visited Barbados and if Toni has visited Libya then Courtney has visited Zimbabwe
hypothesis: Courtney has visited Zimbabwe