procedural inference (SyllogisticRules), move InferenceRecoder to nars.io