Hypothesis-Driven Theory-of-Mind Reasoning for Large Language Models