SCORU: finish definition of proof and checking logic in refutation game

Fix the definition of a proof for the Conclude step of the refutation game, so it includes the inbox proof parts and covers the three cases. See the discussion on 2022-03-31:

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information