>>924
この論理式を証明するだけのエビデンスが無しと判断しました。
つまり脳筋ということ。