AIMA.Core.Logic.FOL.Inference.Proof.ProofStepChainReduction.getProof C# (CSharp) 메소드

        public override String getProof()
        {
            return reduction.ToString();
        }