From NARS to a Thinking Machine