Natural Deduction proof-making program