How to inspect a theory

Start with penguin.spl from Getting Started.

1. Show only positive conclusions:

   spindle reason --positive 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.