premise: Juan has not visited Sheridan, Raymond has not visited Annapolis, Raul has visited Cedar Rapids and if Raymond has not visited Annapolis then Wesley has visited Walsenburg
hypothesis: Wesley has visited Walsenburg