Natural Deduction Proof Tree