;; The given facts.
(on red green)
(above green blue)

;; These are here primarily to distinguish blocks from the table.
(block red)
(block green)
(block blue)
(not (block table))

;; Equality axioms, some general, some specific.
(all (?x) (= ?x ?x))
(all (?x ?y) (=> (not (= ?x ?y)) (not (= ?y ?x))))
(not (= table green))
(not (= table red))
(not (= table blue))
(not (= red green))
(not (= red blue))
(not (= green blue))