After groups have computed the posterior from their tree, present the formula and ask them to label every part using their tree diagram on the board:
\( P(H_1 \mid F) = \dfrac{P(F \mid H_1) \cdot P(H_1)}{P(F \mid H_1) \cdot P(H_1) \;+\; P(F \mid H_2) \cdot P(H_2)} \)
Expected labelling:
· Numerator = the end-node product for the path they wanted (AI ∩ Flagged = 0.153)
· Each denominator term = one path product ending in "Flagged" (0.153 and 0.082)
· Full denominator = sum of all end-node products that end in the observed evidence = 0.235
Substituting: \( \dfrac{0.153}{0.153 + 0.082} = \dfrac{0.153}{0.235} \approx \) 0.6511 ✓
Key consolidation point: The formula is not a new method — it is the tree written algebraically. The denominator always collects every path that ends in the observed evidence. The numerator is the single path for the hypothesis of interest. Students who see this mapping can reconstruct the formula from any tree, without memorising it. This is the insight to draw out during consolidation from the walls.