premise: Vickie has not visited Dominica, Katrina has not visited Nepal, Jo has visited Democratic Republic of the Congo and if Katrina has not visited Nepal then Gertrude has visited Hungary
hypothesis: Gertrude has not visited Hungary