Real Rules of Inference