A Sequent Calculus for Urn Logic