public ImpliesIntroductionRule(ProofBox box) { Box = box; }
public DisjunctionEliminationRule(ProofLineRef disjunction, ProofBox case1, ProofBox case2) { Disjunction = disjunction; Case1 = case1; Case2 = case2; }
public ProofByContradictionRule(ProofBox box) { Box = box; }
public NegIntroductionRule(ProofBox box) { Box = box; }