trace-logic

Follow these steps:

1. Identify the reasoning

Target: $ARGUMENTS, else the reasoning in the current context.

2. Break reasoning into atomic steps

Decompose into the smallest logical moves — one inference each. Make implicit steps explicit and number them.

3. Examine each link for validity

For each step: what is claimed, what it rests on, whether the inference is valid, and what unstated assumptions make it work.

4. Check the inference type