うーむ……
別に隣り合った二つの因果関係が明らかなら
それでいいんじゃないですか？
まあ猫が捕られる、というのが
抜けてるような気もしますがどっちでもいいかと……

それに
Hilbert風にやるかGentzen風にやるかLemmon風にやるかで
全然違いますし、まあ頑張ってください