premise: Carole has not visited Eswatini, Mabel has not visited Liechtenstein, June has visited Guinea-Bissau and if Mabel has not visited Liechtenstein then Sheryl has visited Malaysia
hypothesis: Sheryl has visited Malaysia