premise: Leo has not visited Granite City, Mathew has not visited Mount Pleasant, Matthew has visited Maysville and if Leo has not visited Granite City then Clayton has visited Greenville
hypothesis: Clayton has not visited Greenville