premise: Adrian has only visited Zimbabwe, Harvey has only visited São Tomé & Prícipe, Ernest has only visited Belgium, Rick has only visited Brazil, Ruben has only visited Turkmenistan, Juan has only visited Somalia, Glen has only visited Cyprus
hypothesis: Glen didn't visit Cyprus