premise: Carla has not visited United States, Nicole has visited Ghana, Edna has not visited Democratic Republic of the Congo and if Edna has visited Democratic Republic of the Congo then Hazel has visited Bahrain
hypothesis: Hazel has not visited Bahrain