premise: Clara has not visited Eswatini, Natalie has visited Afghanistan, Annie has not visited Morocco and if Annie has not visited Morocco then Catherine has not visited Burkina
hypothesis: Catherine has not visited Burkina