premise: Misty has not visited Vietnam, Rachel has not visited Serbia, Darlene has visited Democratic Republic of the Congo and if Rachel has not visited Serbia then Velma has not visited Botswana
hypothesis: Velma has not visited Botswana