Build natural deduction proofs in propositional logic