Deriving Proof Rules from Continuation Semantics