Limit proofs to depth 2 when checking inconsistency