Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study