Non-Axiomatic Reasoning System (Version 4.1)