premise: Brent has only visited Dominica, Greg has only visited Guatemala, Benjamin has only visited São Tomé & Prícipe, Ernest has only visited Colombia, Joseph has only visited Liechtenstein
hypothesis: Allan didn't visit Colombia