Natural Deduction Proof Solver