Degree Sequences, Forcibly Chordal Graphs, And Combinatorial Proof Systems