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