premise: Tracy has not visited Central African Republic, Margarita has visited Burkina, Danielle has visited Cambodia and if Margarita has visited Burkina then Audrey has visited Ethiopia
hypothesis: Audrey has not visited Ethiopia