premise: Paul has only visited Belgium, Edward has only visited Lithuania, Brad has only visited Equatorial Guinea, Erik has only visited India, Ted has only visited Colombia, Enrique has only visited Comoros, Johnny has only visited Lesotho
hypothesis: Paul didn't visit Belgium