AIMA.Core.Logic.FOL.CNFConstructor.CNFConstructor C# (CSharp) Method