(("z"→"q")→"z")→"z" の形のパースの法則とモーダスポネンスにより、元の前提から "z" が得られる。