G2-item #0
Let:
  T1 = {:type :ok, :f :txn, :value [[:append 1468 3] [:r 1469 nil] [:append 1439 2]], :time 22408795244, :process 49, :index 10392}
  T2 = {:type :ok, :f :txn, :value [[:append 1469 1] [:append 1456 2] [:r 1468 nil]], :time 22565885165, :process 45, :index 10464}

Then:
  - T1 < T2, because T1 observed the initial (nil) state of 1469, which T2 created by appending 1.
  - However, T2 < T1, because T2 observed the initial (nil) state of 1468, which T1 created by appending 3: a contradiction!


G2-item #1
Let:
  T1 = {:type :ok, :f :txn, :value [[:append 1212 1] [:r 1213 nil] [:r 1212 [1]]], :time 18121279681, :process 37, :index 8504}
  T2 = {:type :ok, :f :txn, :value [[:r 1213 nil] [:r 1212 nil] [:r 1213 nil] [:append 1213 1]], :time 18137003736, :process 5, :index 8512}

Then:
  - T1 < T2, because T1 observed the initial (nil) state of 1213, which T2 created by appending 1.
  - However, T2 < T1, because T2 observed the initial (nil) state of 1212, which T1 created by appending 1: a contradiction!