premise: Willard has not visited Grand Haven, Clayton has visited Pullman, Nathaniel has not visited Greenville and if Nathaniel has visited Greenville then Wesley has visited Fort Payne
hypothesis: Wesley has not visited Fort Payne