The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach