premise: June has not visited Brunei, Cheryl has visited Democratic Republic of the Congo, Guadalupe has not visited Portugal and if Guadalupe has visited Portugal then Judy has visited Central African Republic
hypothesis: Judy has visited Central African Republic