premise: Johnnie has only visited Belgium, Randall has only visited North Korea, Gilbert has only visited Netherlands, Karl has only visited Senegal, Sidney has only visited Angola, William has only visited Burkina, Frank has only visited Bolivia, Seth has only visited Cuba
hypothesis: Paul didn't visit Belgium