premise: Everyone has visited Bahrain, Barbados, Costa Rica, Argentina, Democratic Republic of the Congo, Nicaragua, Canada, Brazil, Malta, São Tomé & Prícipe, Spain, Bolivia and Yemen
hypothesis: Someone did visit Democratic Republic of the Congo