Multiple layers of information processing in deductive reasoning: combining dual strategy and dual-source approaches to reasoning