premise: Eduardo has not visited Paterson, Larry has visited Swarthmore, Stanley has not visited North Dakota and if Stanley has visited North Dakota then Anthony has visited Shiprock
hypothesis: Anthony has not visited Shiprock