AIMA.Test.Core.Unit.Logic.Propositional.Algorithms.PLResolutionTest.testPLResolve2 C# (CSharp) Метод