premise: Frank has not visited Carbondale, Todd has not visited Connersville, Christopher has visited New Market and if Frank has not visited Carbondale then Dean has visited Ponca City
hypothesis: Dean has visited Ponca City