Toward Mechanistic Explanation of Deductive Reasoning in Language Models