title: why my rule freezed the CLIPSIDE,but each single one loads fine
body: <pre><code>(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))
              )
  
          )
  )
  )
  =&gt;
  (asser 1))
  </code></pre>
  
  <p>here is my rule,the LHS contains two parts inside "or",each part loads well,but it will freezed the IDE when put the two parts together.but why?
  my IDE is CLIPSIDE64,version 6.3</p>