premise: Billie has not visited Solomon Islands, Katrina has visited Central African Republic, Connie has visited Republic of the Congo and if Connie has visited Republic of the Congo then Anne has visited Gabon
hypothesis: Anne has visited Gabon