入力例：Le / W. ;; Le := `X subn {pile Y} sub Z ==> X subn Z`