AIMA.Core.Logic.FOL.Inference.FOLTFMResolution.TFMAnswerHandler.getProofs C# (CSharp) Метод