AIMA.Core.Logic.FOL.Inference.Proof.ProofStepFoChAlreadyAFact.getJustification C# (CSharp) Method

        public override String getJustification()
        {
            return "Already a known fact in the KB.";
        }
        // END-ProofStep