On Verifiable Legal Reasoning: A Multi-Agent Framework with Formalized Knowledge Representations