Detect an explicit contradiction in logical derivations, claims, or evidence relations; classify whether it is formal, empirical, scope-dependent, or unresolved.
