premise: Eduardo has only visited Canada, Glenn has only visited Saudi Arabia, Carl has only visited Moldova, Derrick has only visited Nigeria, Mitchell has only visited Albania, Ricardo has only visited Barbados
hypothesis: Derrick didn't visit Mali