premise: Gerald has only visited United States, Erik has only visited Bahrain, Reginald has only visited The Bahamas, Leslie has only visited Cyprus, Marc has only visited Russia, Lance has only visited Sierra Leone, Brad has only visited Malta, Clyde has only visited Lesotho, Ross has only visited Malawi, Carl has only visited Luxembourg
hypothesis: Carl didn't visit Iraq