The target formula to prove
A new NaturalProofBuilder instance
const proof = buildNaturalProof(goalFormula)
.addPremise(premiseA, "Given assumption")
.addAssumption(assumptionB, "Assume B")
.addDerivedStep(derivedPayload, "Implication Elimination")
.closeSubProof("Implication Introduction")
.build();
if (proof.isComplete()) {
console.log("Proof is valid!");
}
Creates a new proof builder for constructing a Natural Deduction style proof. Provides a functional, fluent API for building proofs step by step.