あー、これは規則の定義だから、述語判定でAを消費したとしても、
左辺にAがあるわけだからAは不変で結果として残るわけか。
なんかすげー判りにくいと思わん？