Solving probability reasoning based on DNA strand displacement and probability modules. (December 2017)