Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions