premise: Everyone has visited Nigeria, Dominican Republic, Singapore, Bosnia & Herzegovinia, Republic of the Congo, Haiti, Barbados, Namibia, Russia, Sierra Leone and Libya
hypothesis: Someone didn't visit Republic of the Congo