Welp, nope.

User: A() made this.

Commands

x: n/y/z ; if input is n jump to y and add z

This is only command. This is basically a Minsky machine but with conditionals.

! - any
n - input

variables

Programs

Truth-machine

1/3/0
!/4/0
1/1/0
!/0/0