Explore Theory of Mind: Program-guided adversarial data generation for theory of mind reasoning