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