premise: Allan has only visited Ireland, Philip has only visited Costa Rica, Johnny has only visited Mali, Ronnie has only visited Jamaica, Albert has only visited Maldives, Bryan has only visited France
hypothesis: Albert didn't visit Maldives