Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning