public void testSimpleSentence5() { kb.tell("A"); Assert.AreEqual(false, kb.askWithTTEntails("NOT A")); }