premise: Maria has not visited São Tomé & Prícipe, Brandi has visited Democratic Republic of the Congo, Cassandra has visited Sierra Leone and if Brandi has visited Democratic Republic of the Congo then June has visited Ghana
hypothesis: June has not visited Ghana