premise: Lawrence has not visited Santa Fe, Anthony has visited Texarkana, Maurice has not visited Easton and if Maurice has not visited Easton then Nelson has not visited Perth Amboy
hypothesis: Nelson has not visited Perth Amboy