Natural Deduction Logic Solver Calculator Soup