premise: Joseph has not visited Spearfish, Harvey has not visited Cuyahoga Falls, Herman has visited Richmond and if Joseph has visited Spearfish then Rick has visited Belle Fourche
hypothesis: Rick has visited Belle Fourche