Proof tutorial
Learn how to review Proof results.
This service is in development. These lessons and examples describe the planned workflow. Interactive exercises are not available yet.
- Choose a source you have permission to use and a statement to check against it.
- Read the cited passages and each step in the chain. A proof depends on its chosen source; it does not establish that the source is true.
- Distinguish proved, disproved and unresolved. Failure to find a proof is not disproof. Check again when the source changes.
Read an example
Written by hand to illustrate the result, not a live or measured output.
You send
- Source
- Employee handbook, version 2026-09 (customer-owned)
- Statement
- A full-time engineer may book economy flights.
You get
- Result
- proved
- Step 1
- Every full-time engineer is an employee. — Handbook §2.1
- Step 2
- All employees may book economy flights. — Handbook §4.1
- Step 3
- Therefore a full-time engineer may book economy flights. (from 1 and 2)
You send
- Source
- Employee handbook, version 2026-09
- Statement
- Contractors may not book economy flights.
You get
- Result
- unresolved
- Found
- All employees may book economy flights. — §4.1
- Found
- Contractors are not employees. — §2.3
- Why
- The handbook does not say what contractors may book. Neither the statement nor its opposite follows.
Check your understanding
What did the caller supply? Which parts of the result follow from that input? Where does the example leave a question open?