(setq *attributes* '((a1 0 1) (a2 0 1)))

(setq *goals* '((g1 0 1)))

(setq *examples* '(
  ((G1 . 0) (A1 . 0) (A2 . 0))
  ((G1 . 0) (A1 . 0) (A2 . 1))
  ((G1 . 0) (A1 . 1) (A2 . 0))
  ((G1 . 1) (A1 . 1) (A2 . 1))
  ))