 Each \(C_{i,j}\) that co-occurs with all conjuncts of one conjunction on the left-hand side of this biconditional is at least an INUS condition for the effect \(E\). Obviously, we can infer \(E\) from such a \(C_{i,j}\) in the context of the biconditional and the other conjuncts that form, together with \(C_{i,j}\), a sufficient condition for \(E\). However, the exposition of the INUS account in Mackie (1965, 1974) is not explicitly inferential. Likewise, Hume’s original regularity theory can be interpreted inferentially, but it is not an explicitly logical or inferential account.