Playground

Pick a section. Toggle each variable to true / false / unknown — every toggle re-evaluates the section deterministically. The derivation tree, the still-unknown premises and any escalation flags appear live.