Natural Deduction Logic Calculator