Code to display the proof as a tree.