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

public getProof ( ) : String
리턴	String

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

ProofStepClauseBinaryResolvent