;; The rule that generated the classification for examples in utils.lisp
(defun true-classification (x)
  (or (and (= 1 (aref x 0)) (= 1 (aref x 1)))
      (and (= 0 (aref x 5)) (not (= (aref x 3) (aref x 4))))))