OCL式「Set{1,2}->forAll(i | i > 0) and Set{1,2}->exists(i | i < 0)」の結果はどれか。

後半のexistsがfalseを返すため、全体の論理積もfalseとなる。