Logic Natural Deduction Solver