Existential quantification can be performed by combining two negation beta nodes.
存在量化は2つの否定ベータノードを組み合わせることで実現できる。