 This set is intuitively coherent, and yet it fails to satisfy Ewing’s second condition. The proposition \(A\), for instance, does not follow logically from \(B\) and \(C\) taken together: that John owns a gun of the relevant type and deposited money in his bank the day after does not logically imply him being at the crime scene at the time of the crime. Similarly, neither \(B\) nor \(C\) follows from the rests of the propositions in the set by logic alone.