Generate prolog code for another system of inference of inconsistent
rules.
Remove separation of forward/backward rules.