A《エクスプロージョン・リザード》は攻撃を宣言してタップすると同時に、-1000と+4000パワーを得るので、合計4000パワーを持つことになります。攻撃が行われ、それが終わると同時にパワーアタッカーの+4000は失われます。 クリーチャーはまだタップされた状態なので、パワーは1000-1000=0ということになり、破壊されます。