Natural Deduction Proof Calculator Trig