premise: Denise has not visited Eswatini, Susie has not visited Mozambique, Anita has visited Burundi and if Susie has visited Mozambique then Sherri has visited Czech Republic
hypothesis: Sherri has not visited Czech Republic