AIMA.Core.Logic.FOL.ImplicationsOut.ImplicationsOut C# (CSharp) Метод