public void testDoesNotKnow() { KnowledgeBase kb = new KnowledgeBase(); kb.tell("A"); Assert.IsFalse(kb.askWithTTEntails("B")); Assert.IsFalse(kb.askWithTTEntails("(NOT B)")); }