Inference Rules And Consequences