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

            public bool isCheckForUnitRefutation(Clause clause)
            {

                if (isLookingForAnswerLiteral())
                {
                    if (2 == clause.getNumberLiterals())
                    {
                        foreach (Literal t in clause.getLiterals())
                        {
                            if (t.getAtomicSentence().getSymbolicName().Equals(
                                    answerLiteral.getAtomicSentence()
                                            .getSymbolicName()))
                            {
                                return true;
                            }
                        }
                    }
                }
                else
                {
                    return clause.isUnitClause();
                }

                return false;
            }