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: 
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: