premise: Craig has only visited Qatar, Felix has only visited Central African Republic, Eduardo has only visited India, Arthur has only visited Honduras, Ray has only visited Denmark
hypothesis: Arthur didn't visit Republic of the Congo