Let A, B and C be given.

Assume H.

Apply (H ((A ∧ B) ∧ C)) to the current goal.

Assume Ha Hbc.

Apply (Hbc ((A ∧ B) ∧ C)) to the current goal.

Assume Hb Hc.

Apply andI to the current goal.

Apply andI to the current goal.

An exact proof term for the current goal is Ha.

An exact proof term for the current goal is Hb.

An exact proof term for the current goal is Hc.

∎