This prompt is built for AI evaluation leads and platform engineers who need to automate the assessment of deductive reasoning quality in model outputs. The core job-to-be-done is grading a reasoning trace—the step-by-step logical path a model takes—against a structured rubric that measures premise support, inference rule adherence, and formal fallacy detection. Use it when the validity of the reasoning process itself is the primary evaluation target, not the factual accuracy of the final answer or the stylistic quality of the prose. The ideal user is someone wiring this prompt into an evaluation harness that processes reasoning traces from models like o1, Claude, or Gemini, and needs a consistent, machine-readable validity score with specific rule-violation citations to feed into regression tests, release gates, or model selection decisions.
Prompt
Logical Validity Evaluation Rubric Prompt

When to Use This Prompt
Defines the job-to-be-done, ideal user, required context, and boundaries for the Logical Validity Evaluation Rubric Prompt.
This prompt requires specific inputs to function correctly. You must provide the full reasoning trace as [REASONING_TRACE], the original question or problem statement as [QUESTION], and any provided source context as [SOURCE_CONTEXT] if the reasoning is supposed to be grounded in evidence. The rubric is designed to operate on traces that explicitly show their work—single-step answers or black-box final outputs will not produce meaningful validity scores. The output contract is a JSON object containing a logical_validity_score (1-5 scale), a dimension_scores breakdown for premise support, inference rule adherence, and fallacy detection, and a violations array with specific step-level citations. Do not use this prompt for grading factual correctness, task completion, helpfulness, or safety unless logical structure is the primary evaluation dimension. It is also not suitable for evaluating creative writing, open-ended brainstorming, or tasks where multiple valid reasoning paths exist and formal deductive structure is not expected.
Before deploying this prompt into a production evaluation pipeline, ensure you have a clear definition of what constitutes a valid reasoning trace for your domain. The rubric's scoring anchors assume formal deductive reasoning standards—if your use case tolerates informal heuristics or abductive leaps, calibrate the anchors accordingly. Wire the prompt into a harness that validates the output JSON schema before accepting scores, logs every evaluation with the trace hash and model version, and flags any evaluation where the judge model's own reasoning appears inconsistent with the assigned score. For high-stakes domains where a missed logical error could have significant downstream impact, always pair automated validity scoring with periodic human audit of a stratified sample of traces, especially those near decision boundaries (scores of 2-3). The next step after reading this section is to review the full prompt template and adapt the rubric dimensions to match your specific logical validity standards.
Use Case Fit
Where this prompt is effective and where it introduces risk. Use these cards to decide if a rubric-based logical validity evaluation is the right tool for your current pipeline stage.
Good Fit: Gating High-Stakes Reasoning
Use when: You need an automated gate before a reasoning trace reaches a user or downstream system. Guardrail: Pair the rubric score with a hard pass/fail threshold. If the validity score falls below the cutoff, route to human review or a repair prompt instead of surfacing the output.
Bad Fit: Creative Brainstorming
Avoid when: The task is divergent ideation or creative exploration where logical leaps are the goal. Guardrail: Apply this rubric only to tasks with a correct reasoning path. For creative tasks, switch to a coherence or novelty rubric to avoid penalizing productive lateral thinking.
Required Input: Structured Reasoning Trace
Risk: The rubric cannot evaluate validity if the model output is only a final answer. Guardrail: Enforce a chain-of-thought or structured reasoning format upstream. If the input lacks explicit steps, use a decomposition prompt first to extract or regenerate the trace before scoring.
Operational Risk: Judge Drift Over Time
Risk: The LLM judge's scoring standards can shift across model versions or long context windows. Guardrail: Anchor the rubric with concrete, scored examples for each dimension. Periodically run a calibration set of pre-scored traces to detect drift and trigger a rubric refresh.
Operational Risk: Premise Blindness
Risk: The rubric grades logical structure but may miss when all reasoning flows from a false premise. Guardrail: Combine this rubric with a factual grounding check. A high validity score on a false premise is still a failure. Gate on both validity and groundedness before accepting the output.
Bad Fit: Real-Time Chat Moderation
Avoid when: Latency budgets are under 500ms. Guardrail: This rubric requires a full reasoning trace and multi-dimensional scoring, which adds significant latency. For real-time flows, use a lightweight classifier or regex-based check, and reserve rubric evaluation for async batch analysis.
Copy-Ready Prompt Template
A ready-to-use prompt template for evaluating the logical validity of a reasoning trace, producing structured scores and rule-violation citations.
This template provides a complete, self-contained prompt for an LLM judge to evaluate a reasoning trace against formal logical validity criteria. It is designed to be copied directly into your evaluation harness. The prompt instructs the model to act as a logic evaluator, assess the trace against a defined rubric, and return a structured JSON object with scores and specific citations for any rule violations. The square-bracket placeholders must be replaced with your specific inputs before execution.
textYou are an expert logic evaluator. Your task is to assess the logical validity of the provided reasoning trace. You will evaluate the trace against the following rubric dimensions and return a structured JSON report. ### INPUT DATA **REASONING_TRACE:** [REASONING_TRACE] **PREMISES (if provided):** [PREMISES] **CONCLUSION (if provided):** [CONCLUSION] ### EVALUATION RUBRIC Score each dimension on a scale of 1 (critically flawed) to 5 (perfectly sound). For any score below 4, you must provide a specific citation from the reasoning trace and a brief explanation of the violation. 1. **Premise Support:** Does each step logically follow from the provided premises or previously established steps? (Score 1-5) 2. **Inference Rule Adherence:** Are the inference steps valid (e.g., no affirming the consequent, denying the antecedent, or incorrect quantifier shifts)? (Score 1-5) 3. **Formal Fallacy Detection:** Is the reasoning free of formal logical fallacies (e.g., circular reasoning, false dilemma, non sequitur)? (Score 1-5) 4. **Conclusion Alignment:** Does the final conclusion necessarily follow from the chain of reasoning, without logical gaps or unsupported leaps? (Score 1-5) ### OUTPUT FORMAT Return a single JSON object with the following schema. Do not include any text outside the JSON object. { "overall_validity_score": "number (average of dimension scores, rounded to one decimal)", "dimension_scores": { "premise_support": { "score": "number (1-5)", "violations": [ { "step_citation": "string (quote the problematic part of the trace)", "explanation": "string (explain why it violates premise support)" } ] }, "inference_rule_adherence": { "score": "number (1-5)", "violations": [ { "step_citation": "string", "explanation": "string" } ] }, "formal_fallacy_detection": { "score": "number (1-5)", "violations": [ { "step_citation": "string", "fallacy_type": "string (e.g., circular reasoning, false dilemma)", "explanation": "string" } ] }, "conclusion_alignment": { "score": "number (1-5)", "violations": [ { "step_citation": "string", "explanation": "string" } ] } }, "overall_assessment": "string (a concise summary of the reasoning trace's logical soundness)" }
To adapt this template, replace the [REASONING_TRACE], [PREMISES], and [CONCLUSION] placeholders with your actual data. The [PREMISES] and [CONCLUSION] fields are optional but highly recommended for a thorough evaluation. The rubric dimensions and scoring anchors are calibrated for deductive reasoning quality; you can adjust the dimension descriptions or add new ones, such as 'Causal Validity' or 'Quantitative Correctness,' to fit your specific domain. The critical constraint is the strict JSON output format, which is essential for automated parsing in an evaluation pipeline. Ensure your application code can handle the violations array, which will be empty for scores of 4 or 5.
Before deploying this prompt into a production evaluation suite, run it against a golden dataset of reasoning traces with known logical flaws. Validate that the JSON output is consistently parseable and that the violation citations are specific and actionable. For high-stakes domains like legal or medical reasoning, the output of this automated judge should be treated as a diagnostic aid, not a final verdict, and must be reviewed by a human expert.
Prompt Variables
Required and optional inputs for the Logical Validity Evaluation Rubric Prompt. Each placeholder must be populated before the prompt is sent. Validation notes describe how to check that the input is well-formed before evaluation begins.
| Placeholder | Purpose | Example | Validation Notes |
|---|---|---|---|
[REASONING_TRACE] | The full reasoning chain to evaluate for logical validity | Step 1: All mammals are warm-blooded. Step 2: A whale is a mammal. Step 3: Therefore, a whale is warm-blooded. | Must contain at least 3 distinct reasoning steps. Reject if empty or single-sentence. Check for step delimiters (newlines, numbered markers). |
[CONCLUSION] | The final claim the reasoning trace is intended to support | A whale is warm-blooded. | Must be a single declarative statement. Reject if null or if conclusion is identical to an intermediate step without synthesis. Parse for claim type (factual, normative, predictive). |
[PREMISES] | Explicit premises provided as input to the reasoning task | All mammals are warm-blooded. A whale is a mammal. | Optional field. If provided, each premise must be a complete sentence. If null, evaluator should flag missing-premise dimension. Validate premise count matches trace references. |
[RUBRIC_DIMENSIONS] | Scoring dimensions to apply: premise_support, inference_rule_adherence, fallacy_detection, conclusion_alignment | ["premise_support", "inference_rule_adherence", "fallacy_detection"] | Must be a JSON array of valid dimension names. Reject unknown dimensions. At least one dimension required. Default to all four if omitted. |
[SCORING_ANCHORS] | Calibrated score descriptions per dimension with boundary examples | {"premise_support": {"1": "No premise cited", "3": "Premises cited but weak link", "5": "Premises directly entail step"}} | Must be valid JSON object with dimension keys matching [RUBRIC_DIMENSIONS]. Each dimension must have at least 3 anchor levels. Validate anchor descriptions are non-empty strings. |
[FALLACY_CATALOG] | List of formal and informal fallacies to detect with definitions | ["circular_reasoning", "false_dilemma", "hasty_generalization", "post_hoc_ergo_propter_hoc", "affirming_the_consequent"] | Must be a JSON array of strings. Each entry must match a known fallacy type. Reject if catalog is empty when fallacy_detection dimension is active. Validate against supported fallacy taxonomy. |
[OUTPUT_SCHEMA] | Expected JSON structure for the evaluation output | {"overall_validity_score": 0.85, "dimension_scores": {}, "violations": [], "step_annotations": []} | Must be a valid JSON Schema or example object. Validate that schema includes fields for overall_score, dimension_scores, violations array, and step-level annotations. Reject schemas missing violation citation fields. |
[CONFIDENCE_THRESHOLD] | Minimum confidence required before auto-accepting the validity judgment | 0.8 | Must be a float between 0.0 and 1.0. If model confidence is below threshold, flag for human review. Default 0.7 if not specified. Validate numeric range. |
Implementation Harness Notes
How to wire the Logical Validity Evaluation Rubric prompt into an evaluation application or CI/CD pipeline.
This prompt is designed to operate as a model-graded judge inside an automated evaluation pipeline. It should not be used as a one-off chat prompt. The primary integration point is a structured evaluation harness that feeds reasoning traces into the judge, collects structured validity scores and violation citations, and routes results to dashboards, regression gates, or human review queues. The harness is responsible for enforcing the input contract, validating the output schema, and managing retries when the judge produces malformed or incomplete responses.
Input wiring: The harness must assemble the [REASONING_TRACE] and [RUBRIC_DIMENSIONS] placeholders before invoking the model. The reasoning trace should be a complete, multi-step chain-of-thought output from the system under test. The rubric dimensions should be injected as a structured JSON or YAML block defining each dimension, its scoring anchors (e.g., 1–5 scale with behavioral descriptions), and the specific inference rules or fallacy types to check. If the evaluation context includes source documents or ground-truth premises, inject them as [PREMISE_CONTEXT] to enable premise-support scoring. Output validation: Parse the model response against a strict JSON schema that requires validity_score (numeric), dimension_scores (array of objects with dimension, score, rationale), and violations (array of objects with step_index, rule_violated, description, severity). Reject any response missing these fields or containing scores outside the defined scale. Log schema validation failures and retry with the error message appended to the prompt.
Retry and fallback strategy: If the judge returns invalid JSON after two retries, escalate the trace to a human review queue rather than silently accepting a partial score. For high-stakes domains (legal, medical, safety-critical reasoning), always route traces flagged with severity: critical violations to human review regardless of schema validity. Model selection: Use a model with strong instruction-following and structured output capabilities (e.g., GPT-4, Claude 3.5 Sonnet, or equivalent). Avoid smaller models that may struggle with multi-dimensional rubric application and step-level citation. CI/CD integration: In a regression testing pipeline, run this judge against a golden dataset of reasoning traces with known validity labels. Compare judge scores against human-annotated ground truth to measure judge alignment. Set a minimum alignment threshold (e.g., Cohen's kappa > 0.7) before trusting the judge for automated gating. If alignment drops, recalibrate the rubric anchors or retrain human annotators on edge cases.
Observability: Log every evaluation run with the trace ID, judge model version, prompt template version, raw scores, violation counts, and retry attempts. This audit trail is essential for debugging score drift, judge bias, or rubric misinterpretation over time. What to avoid: Do not use this prompt to evaluate final answers alone—it is designed for reasoning trace quality. Do not skip output validation; malformed judge outputs can silently pass incorrect scores into downstream dashboards. Do not treat the judge's scores as objective truth without periodic human calibration checks, especially when the reasoning domain shifts or new fallacy patterns emerge.
Expected Output Contract
Required JSON structure for the Logical Validity Evaluation Rubric output. Validate each field before accepting the model response.
| Field or Element | Type or Format | Required | Validation Rule |
|---|---|---|---|
validity_score | number (0.0-1.0) | Must be a float between 0.0 and 1.0 inclusive. Parse check: JSON number type, range check: 0 <= x <= 1. | |
overall_verdict | string enum | Must be one of: VALID, INVALID_WITH_MINOR_FLAWS, INVALID_WITH_MAJOR_FLAWS, INDETERMINATE. Schema check: exact string match. | |
premise_support | object | Must contain fields: score (number 0.0-1.0), gaps (array of strings). Each gap string must reference a specific premise or missing premise by index from [INPUT_PREMISES]. | |
inference_rule_adherence | object | Must contain fields: score (number 0.0-1.0), violations (array of objects). Each violation object requires step_index (integer), rule_expected (string), rule_observed (string or null). | |
fallacy_detection | object | Must contain fields: fallacies_found (array of objects), severity (string enum: NONE, LOW, MEDIUM, HIGH, CRITICAL). Each fallacy object requires fallacy_type (string), step_index (integer), description (string). | |
violation_citations | array | Each element must be an object with: step_index (integer referencing [REASONING_TRACE] step), violation_type (string), description (string), severity (string enum: MINOR, MAJOR, CRITICAL). Array may be empty if no violations. | |
calibration_notes | string or null | If present, must be a non-empty string explaining scoring decisions, edge cases, or confidence caveats. Null allowed when no notes needed. | |
evaluation_timestamp | string (ISO 8601) | If present, must match ISO 8601 datetime format. Parse check: valid Date object after parsing. Null allowed. |
Common Failure Modes
Logical validity evaluation breaks in predictable ways. These are the most common failure modes when using an LLM judge to grade reasoning traces, along with practical mitigations to catch them before they corrupt your eval pipeline.
Judge Hallucinates Rule Violations
What to watch: The judge fabricates logical fallacies or cites inference-rule violations that do not exist in the reasoning trace. This is common when the rubric is too abstract or the judge lacks grounding in formal logic. Guardrail: Require the judge to quote the exact reasoning step alongside each violation citation. Implement a secondary check that verifies the quoted text actually appears in the source trace before accepting the violation.
Score Drift Across Long Reasoning Traces
What to watch: The judge applies stricter standards to early steps and looser standards to later steps, or vice versa. This produces inconsistent validity scores that correlate with position rather than actual logical quality. Guardrail: Shuffle reasoning steps before evaluation or evaluate each step independently in a separate judge call. Calibrate scores against a fixed set of anchor examples with known validity labels at regular intervals.
Premise-Support Confusion with Truth
What to watch: The judge conflates factual truth of premises with logical support. It penalizes valid reasoning from false premises or rewards invalid reasoning that happens to reach a true conclusion. Guardrail: Separate the rubric into two independent dimensions: premise acceptability and inference validity. Instruct the judge to evaluate logical structure assuming premises are true for the validity dimension, then evaluate premise truth separately.
Missing Fallacy Detection Due to Surface Fluency
What to watch: Well-written but logically invalid reasoning passes the judge because fluent prose masks fallacies like circular reasoning, false equivalence, or begging the question. The judge conflates writing quality with logical quality. Guardrail: Include counterexamples in the rubric with fluent-but-fallacious reasoning samples. Add a specific dimension for fallacy detection that requires the judge to actively search for named fallacy patterns rather than relying on overall impression.
Judge Over-Penalizes Informal Reasoning
What to watch: The judge applies formal deductive standards to informal, abductive, or probabilistic reasoning traces. Valid everyday reasoning gets flagged as logically insufficient because it does not follow strict syllogistic form. Guardrail: Define the reasoning standard explicitly in the rubric. Use separate scoring anchors for deductive, inductive, and abductive reasoning. Include examples of valid informal reasoning that should receive high scores despite lacking formal structure.
Citation-Verification Gap in Evidence-Backed Reasoning
What to watch: The judge accepts reasoning steps that cite evidence without verifying that the cited evidence actually supports the claim. A step that says 'Source A confirms X' passes validity checks even when Source A says the opposite or is irrelevant. Guardrail: Add a groundedness sub-check that requires the judge to compare the reasoning claim against the actual cited evidence text. Flag any step where the evidence-to-claim relationship is missing, misrepresented, or overstated.
Evaluation Rubric
How to test the quality of the judge's output before shipping it to production. Use this rubric to validate that the Logical Validity Evaluation prompt produces reliable, actionable scores and citations.
| Criterion | Pass Standard | Failure Signal | Test Method |
|---|---|---|---|
Schema Compliance | Output is valid JSON matching [OUTPUT_SCHEMA] with all required fields present and correctly typed | Missing fields, type mismatches, or unparseable JSON | Automated schema validation against JSON Schema definition; reject on first parse failure |
Score Range Adherence | Validity score is a float between 0.0 and 1.0 inclusive; no out-of-range values | Score < 0.0, score > 1.0, or non-numeric value returned | Boundary test with 10 edge-case inputs; assert 0.0 <= score <= 1.0 for all |
Rule Violation Citation Accuracy | Each cited violation includes step_index, rule_broken, and evidence_snippet that match the reasoning trace | Citations reference non-existent steps, misidentify rule names, or quote text not present in [REASONING_TRACE] | Golden dataset with 5 traces containing known violations; verify all citations match ground-truth annotations |
Premise Support Detection | Score reflects whether conclusion follows from premises; unsupported leaps flagged as violations | High validity score assigned to trace with obvious non-sequitur or missing logical bridge | Test with 3 traces containing deliberate premise-conclusion gaps; expect score < 0.5 for each |
Inference Rule Adherence | Correctly identifies violations of stated inference rules (modus ponens, modus tollens, etc.) | Misses clear rule violations or flags correct rule applications as errors | Pairwise test: 5 correct applications vs 5 incorrect; expect 100% recall on violations, 0 false positives |
Formal Fallacy Detection | Detects at least 80% of planted formal fallacies (affirming consequent, denying antecedent, etc.) | Recall below 0.7 on fallacy detection or false positive rate above 0.2 | Test set of 20 traces with 10 containing known fallacies; measure precision and recall against ground truth |
Inter-Judge Consistency | Two runs on identical input produce scores within 0.1 of each other and identical violation counts | Score difference > 0.15 or violation count mismatch across runs | Run 10 traces through judge 3 times each; compute mean absolute deviation and violation count agreement |
Edge Case Handling | Empty reasoning trace returns score 0.0 with appropriate violation; single-step trace handled gracefully | Null pointer errors, division by zero, or crash on minimal input | Test with empty string, single-step trace, and 50-step trace; assert valid response for all |
Enabling Efficiency, Speed & Accuracy
Intelligent Analysis, Decision & Execution
We build AI systems for teams that need search across company data, workflow automation across tools, or AI features inside products and internal software.
Talk to Us
Search across company data
Give teams answers from docs, tickets, runbooks, and product data with sources and permissions.
Useful when people spend too long searching or get different answers from different systems.

Automate internal workflows
Use AI to route work, draft outputs, trigger actions, and keep approvals and logs in place.
Useful when repetitive work moves across multiple tools and teams.

Add AI to products and internal tools
Build assistants, guided actions, or decision support into the software your team or customers already use.
Useful when AI needs to be part of the product, not a separate tool.
Adapt This Prompt
How to adapt
Start with the base rubric dimensions (premise support, inference rule adherence, fallacy detection) but drop the scoring anchors to 3 levels instead of 5. Use a single LLM call without schema validation. Accept free-text justification instead of structured violation citations.
codeEvaluate this reasoning trace for logical validity. Rate each dimension as VALID, PARTIAL, or INVALID. Provide one sentence of justification per dimension. Dimensions: - Premise Support: [INPUT] - Inference Rule Adherence: [INPUT] - Fallacy Detection: [INPUT] Reasoning trace: [REASONING_TRACE]
Watch for
- Score inflation without calibrated anchors
- Missing formal fallacy names (model defaults to vague "flawed logic")
- No inter-step dependency checking—errors in step 3 that depend on step 2 go undetected

About the author
Prasad Kumkar
CEO & MD, Inference Systems
Prasad Kumkar is the CEO & MD of Inference Systems and writes about AI systems architecture, LLM infrastructure, model serving, evaluation, and production deployment. Over 5+ years, he has worked across computer vision models, L5 autonomous vehicle systems, and LLM research, with a focus on taking complex AI ideas into real-world engineering systems.
His work and writing cover AI systems, large language models, AI agents, multimodal systems, autonomous systems, inference optimization, RAG, evaluation, and production AI engineering.
Partnered with leading AI, data, and software stack.
How We Work
Custom AI workflows for your Business
One-fit-all AI don't work for modern businesses. At Inferensys, we aim to understand your business & custom requirements; which we use to define most efficient agentic workflows, the data, and the tools for your business.
01
Review the use case
We understand the task, the users, and where AI can actually help.
Read more02
Pick the right approach
We define what needs search, automation, or product integration.
Read more03
Build the first useful version
We implement the part that proves the value first.
Read more04
Improve from there
We add the checks and visibility needed to keep it useful.
Read moreThe first call is a practical review of your use case and the right next step.
Talk to Us