premise: Clifton has only visited Burkina, Fred has only visited El Salvador, Leo has only visited Thailand, Lester has only visited Uruguay, Willard has only visited Democratic Republic of the Congo, Johnny has only visited Cyprus
hypothesis: Johnny didn't visit Haiti