Lemmon-style natural deduction proof constructor