Strategic Deductive Reasoning in Large Language Models: A Dual-Agent Approach | Synapse