1 make-existence-index    [process Listener 1]
      Values Returned:
        ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (:unknown (cl-user::exists cl-user::MF4)) (:unknown (cl-user::exists cl-user::MF5)) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
  2 get-fact-candidates
        Arguments:
          (cl-user::exists gizmo::?x)
        Values Returned:
          ((<Datum 556> <Datum 527> <Datum 494> <Datum 428> <Datum 405> <Datum 81> <Datum 58> <Datum 45> <Datum 39> <Datum 31> <Datum 23> <Datum 14>))
          12
    3 get-dtree
          Arguments:
            cl-user::exists
          Values Returned:
            #(#(nil nil #<equal hash-table with 1 entry @ #x2177cf1a> #<equal hash-table with 1 entry @ #x2177cf3a> (0) (0)) #(#(nil nil #<equal hash-table with 12 entries @ #x217fed0a> #<equal hash-table with 0 entries @ #x217fed2a> (0) (1 <Rule 5>)) #(nil nil #<equal hash-table with 0 entries @ #x217fed4a> #<equal hash-table with 0 entries @ #x217fed6a> (0) (0)) #<equal hash-table with 0 entries @ #x2177cf9a> #<equal hash-table with 0 entries @ #x2177cfba> (0) (0)) #<equal hash-table with 0 entries @ #x2170ff22> #<equal hash-table with 0 entries @ #x2170ff42> (0) (0))
    4 dtree-fetch
          Arguments:
            (cl-user::exists gizmo::?x)
            #(#(nil nil #<equal hash-table with 1 entry @ #x2177cf1a> #<equal hash-table with 1 entry @ #x2177cf3a> (0) (0)) #(#(nil nil #<equal hash-table with 12 entries @ #x217fed0a> #<equal hash-table with 0 entries @ #x217fed2a> (0) (1 <Rule 5>)) #(nil nil #<equal hash-table with 0 entries @ #x217fed4a> #<equal hash-table with 0 entries @ #x217fed6a> (0) (0)) #<equal hash-table with 0 entries @ #x2177cf9a> #<equal hash-table with 0 entries @ #x2177cfba> (0) (0)) #<equal hash-table with 0 entries @ #x2170ff22> #<equal hash-table with 0 entries @ #x2170ff42> (0) (0))
            nil
            0
            nil
            536870911
            :fact
          Values Returned:
            ((<Datum 556> <Datum 527> <Datum 494> <Datum 428> <Datum 405> <Datum 81> <Datum 58> <Datum 45> <Datum 39> <Datum 31> <Datum 23> <Datum 14>))
            12