addFacts(succs);
AbstractReasoner r = new BasicReasoner(kb_, new ArrayList<Implication>(), parser_ );
// Make sure we can prove all of our ground facts!
GroundFact answer1 = getAnAnswer( r, new GroundFact(symbolTable_, "succ", "1", "2") );
GroundFact answer2 = getAnAnswer( r, new GroundFact(symbolTable_, "succ", "2", "3") );
GroundFact answer3 = getAnAnswer( r, new GroundFact(symbolTable_, "succ", "3", "4") );
assertEquals( new GroundFact(symbolTable_, "succ", "1", "2"), answer1 );
assertEquals( new GroundFact(symbolTable_, "succ", "2", "3"), answer2 );
assertEquals( new GroundFact(symbolTable_, "succ", "3", "4"), answer3 );
}