retract-premise
Remove specific assertions from a logic session's knowledge base to undo premises or explore alternative reasoning paths.
Instructions
Remove a specific premise from a session's knowledge base.
When to use: You need to undo an assertion or explore alternative premises.
Example: session_id: "abc-123..." formula: "man(plato)" → Removes the exact formula if found
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session_id | Yes | Session ID from create-session | |
| formula | Yes | Exact formula to remove (must match what was asserted) | |
| verbosity | No | Response verbosity: 'minimal' (token-efficient), 'standard' (default), 'detailed' (debug info) |