premise: Alberto has only visited Saint Lucia, Jimmy has only visited Kenya, Wayne has only visited Bolivia, Edgar has only visited Nigeria, Pedro has only visited Mali, Gabriel has only visited Bhutan
hypothesis: Howard didn't visit Mali