premise: Tracy has not visited The Bahamas, Kimberly has not visited South Sudan, Kristin has visited Belize and if Kimberly has visited South Sudan then Natasha has visited Angola
hypothesis: Natasha has not visited Angola