| Axiom | a | Use |
|---|---|---|
| Rule 1 | a => I[L ]a | 1 |
| Rule 2 | a => I[L ]A | 1 |
| Rule 3 | A => I[b ]A | 3 |
| Rule 4 | A => I[b ]B | 1 |
| Rule 5 | b => I[L ]b | 2 |
| Rule 6 | b => I[L ]B | 1 |
| Rule 7 | B => I[c ]B | 3 |
| Rule 8 | B => I[c ]B | 1 |
| Rule 9 | c => I[L ]c | 1 |
| Rule 10 | c => I[L ]C | 1 |
| Rule 11 | C => I[K ]C | 4 |
| Rule 12 | C => K | 1 |
| Reload to repeat animation |