Tree Proof Generator