public void testSimpleSentence1() { kb.tell("(A AND B)"); Assert.AreEqual(true, kb.askWithTTEntails("A")); }