premise: Pedro has not visited Eastpointe, Max has visited Crawfordsville, Stanley has not visited Suffolk and if Stanley has not visited Suffolk then Clayton has not visited Greenville
hypothesis: Clayton has not visited Greenville