Implementing the Non-Axiomatic Logic (NAL) rules as needed for the NARS AGI system and guaranteeing their correctness according to what is specified in "Non-Axiomatic Logic: A Model of Intelligent Reasoning" [1] tu...