premise: Martin has only visited Tonga, Alan has only visited Senegal, Harold has only visited Liberia, Bill has only visited Marshall Islands, Johnnie has only visited Namibia, Lester has only visited Netherlands
hypothesis: Harold didn't visit Liberia