为什么我的规则冻结了CLIPSIDE，但每个单独的CLIPSIDE加载都很好

Question

(defrule rule1
(not
    (or
        (and
            (or
                (Cloud1 (cloudcount FEW|SCT) )
                (Cloud2 (cloudcount FEW|SCT))
                (Cloud3 (cloudcount FEW|SCT))
                (Cloud4 (cloudcount FEW|SCT))
            )
            (or
                (Trend1Cloud1 (cloudcount BKN|OVC))
                (Trend1Cloud2 (cloudcount BKN|OVC))
                (Trend1Cloud3 (cloudcount BKN|OVC))
                (Trend1Cloud4 (cloudcount BKN|OVC))
            )

        )
        (and
            (or
                (Cloud1 (cloudcount BKN|OVC))
                (Cloud2 (cloudcount BKN|OVC))
                (Cloud3 (cloudcount BKN|OVC))
                (Cloud4 (cloudcount BKN|OVC))
            )
            (or
                (Trend1Cloud1 (cloudcount FEW|SCT))
                (Trend1Cloud2 (cloudcount FEW|SCT))
                (Trend1Cloud3 (cloudcount FEW|SCT))
                (Trend1Cloud4 (cloudcount FEW|SCT))
            )

        )
)
)
=>
(asser 1))

这是我的规则，LHS包含两个部分在“或”，每个部分加载很好，但它会冻结集成开发环境时，把这两个部分together.but为什么？我的集成开发环境是CLIPSIDE64 6.3版