How to inspect a theory

Start with penguin.spl from Getting Started.

1. Show each proved literal once:

   spindle reason penguin.spl
   

2. Request structured JSON output:

   spindle reason --json penguin.spl
   

3. Check syntax without reasoning:

   spindle validate penguin.spl
   

4. Inspect theory statistics:

   spindle stats penguin.spl
   

The CLI reference describes each command and its output.

For proof tags and refutations, use spindle reason --detailed penguin.spl. Add --positive to filter that detailed view or JSON output to positive tags.