premise: Jay has only visited Australia, Alberto has only visited Honduras, Bob has only visited Somalia, Jorge has only visited Brunei, Claude has only visited South Sudan, Andy has only visited Libya, Isaac has only visited Colombia
hypothesis: Carl didn't visit Brunei