A Multi-Context Architecture for Formalizing Complex Reasoning