OCLにおいて「null implies true」を評価した結果はどうなるか。

「A implies B」は、Bが真であればAの内容に関わらず真(true)を返す。