premise: Tony has not visited West New York, Armando has visited Columbia, Wallace has visited Claremont and if Wallace has visited Claremont then Nathaniel has visited Springville
hypothesis: Nathaniel has not visited Springville