premise: Clayton has not visited Crawfordsville, Stephen has visited Shawnee, Arnold has not visited Maysville and if Arnold has not visited Maysville then Christian has visited Guymon
hypothesis: Christian has not visited Guymon