IMLogic is the first high-quality benchmark for evaluating implicit logical memory retrieval in long-dialogue scenarios. RootMem introduces a structured, decision-preserving representation called root memory to distill reusable personalized logic from user histories, and uses an LLM-based router to activate relevant memories, outperforming existing retrieval baselines in accuracy.