Detects if KB is inconsistent