707 复杂的推断