Does a mechanical set of rules or algorithm exist for doing forward induction on a game tree, or is it an "every problem is too unique and requires its own reasoning" type of situation? I have seen a few examples of forward induction explained, but with pretty basic game trees, and I fear I may...