premise: Arthur has not visited Seymour, Dwight has visited Belmont, Sean has not visited Corydon and if Sean has not visited Corydon then Norman has not visited Oklahoma City
hypothesis: Norman has not visited Oklahoma City