premise: Clyde has not visited Cripple Creek, Jordan has not visited Park City, Pedro has visited Corvallis and if Clyde has not visited Cripple Creek then Norman has visited Cleveland
hypothesis: Norman has visited Cleveland