In anticipation of Steam Next Fest in June, I'm doing an early release of the demo! Or, rather, I did an early release of the demo last week and forgot to hit "Publish" on this announcement... Anyway, while I'll still be publishing updates between now and then, the core substance of the demo is in place and ready to be played. A few things to note:
The demo showcases a pretty big subset of rules, but it does not include any predicate logic (i.e., the quantifier rules)
The demo should run on all platforms, but Windows is the most heavily tested
You can send your thoughts on the game either through the in-game link (which goes to Google Forms) or through the Steam Discussion board
The full game is still well on track to be released in August, and potentially sooner if I can dedicate enough time to it. To the tens of people who even know this game exists, I appreciate your patience!