public void testSUnkownSymbol() { kb.tell("((A => B) AND B)"); Assert.AreEqual(false, kb.askWithTTEntails("X")); }