add module exports to inference.hs
don't remove start from knowledge base
fix rpr: remove only one complementary pair at a time