premise: Nelson has not visited South Holland, Leslie has not visited Hattiesburg, Darren has visited Gettysburg and if Nelson has not visited South Holland then Enrique has visited Pawtucket
hypothesis: Enrique has not visited Pawtucket