I didn't want to go into technical details yet.. but imagine that the defense transaction looks similar to commitment transaction in lightning.
In our example there will be two outputs:
  1. 8 BTC for Alice - spendable without restrictions
  2. 0.5 BTC for Bob
    • Alice can spend immediately if she has some secret from Bob (this way can Bob invalidate this transaction)
    • Bob can spend after CSV_delay