Two examples from Reasonable Schemer that I translated to Clojure and am seeing different results.

Reasonable Clojure Diff

;; This is #58 from page 14.
(run* [r]
      (fresh [x y z]
             (conde
              [(== y x)(fresh [x] (== z x))]
              [(fresh [x] (== y x) (== z x))]
              [fail])
             (== (cons y (cons z ())) r)))
; expected: ((_.0 _.1) (_.0 _.1))
; actual:   ((_.0 _.1) (_.0 _.0))

;; This is #59 from page 15.
(run* [r]
      (fresh [x y z]
             (conde
              [(== y x)(fresh [x] (== z x))]
              [(fresh [x] (== y x) (== z x))]
              [fail])
             (== false x)
             (== (cons y (cons z ())) r)))
; expected: ((false _.0) (_.0 false))
; actual:   ((false _.0) (_.0 _.0))