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)"));
}