premise: Katie has not visited Macedonia, June has visited Republic of the Congo, Caroline has visited Burundi and if June has visited Republic of the Congo then Amanda has visited Botswana
hypothesis: Amanda has not visited Botswana