 then we get that both \(A&gt;B\) and \(B&gt;C\) are true, but \(A&gt;C\) is false at \(w\) (in fact, \(A&gt;\neg C\) is true; see  Fig. 2).  There are similar counterexamples to Monotonicity and Contraposition.