premise: Natasha has not visited South Korea, Lucy has visited Democratic Republic of the Congo, Shelly has not visited Tajikistan and if Shelly has visited Tajikistan then Minnie has visited Togo
hypothesis: Minnie has not visited Togo