AIMA.Core.Logic.FOL.Inference.Proof.ProofStepBwChGoal.getProof C# (CSharp) Метод

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