premise: Bernard has only visited Sweden, Edward has only visited Poland, Wesley has only visited Monaco, Darrell has only visited Indonesia, Nicholas has only visited Lebanon, Jose has only visited Marshall Islands, Julio has only visited Tonga, Norman has only visited Kazakhstan, Ivan has only visited United States, Elmer has only visited Tuvalu
hypothesis: Ivan didn't visit United States