Percolation on the product graph of a regular tree and a line does not satisfy the triangle condition at the uniqueness threshold

We consider Bernoulli bond percolation on the product graph of a regular tree and a line. We show that the triangle condition does not hold at the uniqueness threshold.