This section shows the loss associated with the transitivity consistency in the NLI case study.
for an individual example (P, H, Z), applying the product t-norm to the definition of the transitivity consistency constraint, we get the loss the total transitivity loss L tran is the sum of this expression over the entire dataset.