Natural Deduction Logic Solver