premise: Thelma has visited Liechtenstein, Maureen has not visited Niger, Kim has visited Libya and if Thelma has visited Liechtenstein then Priscilla has visited South Africa
hypothesis: Priscilla has not visited South Africa