Natural Deduction Logic Solver Calculator App