Command-line tool for proving theorems using natural deduction