 In the examples of Tables 6, 5, and 7, the minimal inconsistent sets of size (at least) three are: \(\{p\), if p then q, not q\(\}\), which is minimal inconsistent simpliciter; \(\{p, q\), not r\(\}\), which is minimal inconsistent relative to the side constraint r if and only if (p and q); and \(\{\)‘\(x\) is preferable to \(y\)’, ‘\(y\) is preferable to \(z\)’, ‘\(z\) is preferable to \(x \textrm{'} \}\), which is minimal inconsistent relative to a transitivity constraint on preferability.