added working memory modification and inference sections
added implementation note about more comples rule conditions