AIMA.Core.Logic.FOL.Inference.Proof.ProofStepFoChAssertFact.getProof C# (CSharp) Method

        public override String getProof()
        {
            StringBuilder sb = new StringBuilder();
            List<Literal> nLits = implication.getNegativeLiterals();
            for (int i = 0; i < implication.getNumberNegativeLiterals(); i++)
            {
                sb.Append(nLits[i].getAtomicSentence());
                if (i != (implication.getNumberNegativeLiterals() - 1))
                {
                    sb.Append(" AND ");
                }
            }
            sb.Append(" => ");
            sb.Append(implication.getPositiveLiterals()[0]);
            return sb.ToString();
        }