premise: William has not visited Campbellsville, Ryan has not visited Claremont, Guy has visited Arkansas and if William has visited Campbellsville then Harvey has visited Central City
hypothesis: Harvey has not visited Central City