AIMA.Core.Logic.Propositional.Algorithms.KnowledgeBase.askWithTTEntails C# (CSharp) Method

        public bool askWithTTEntails(String queryString)
        {

            return new TTEntails().ttEntails(this, queryString);
        }

        public void testTTEntailsSucceedsWithChadCarffsBugReport()
        {
            KnowledgeBase kb = new KnowledgeBase();
            kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
            kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
            kb.tell("(B01 <=> (P00 OR (P02 OR P11)))");
            kb.tell("(B10 <=> (P11 OR (P20 OR P00)))");
            kb.tell("(NOT B21)");
            kb.tell("(NOT B12)");
            kb.tell("(B10)");
            kb.tell("(B01)");

            Assert.IsTrue(kb.askWithTTEntails("(P00)"));
            Assert.IsFalse(kb.askWithTTEntails("(NOT P00)"));
        }