おれは量化記号のネストが∀∃∀∃くらいから怪しくなってきて
∀∃∀∃∀∃くらいになるとほとんどの場合
直観的にも意味が分からなくなるんだが、
>>611は頭良いんだな。

もちろん否定を取るとかの操作くらいは出来るけどね。