premise: Sherri has not visited Tonga, Marie has not visited Switzerland, Carol has visited New Zealand and if Sherri has not visited Tonga then Natalie has not visited United Kingdom
hypothesis: Natalie has not visited United Kingdom