Resized proofs and inference rules