It's an educational game for first order logic

Give it a try! https://ldjam.com/events/ludum-dare/46/$185021

I also made a timelapse video after always forgetting to the last couple years. https://www.youtube.com/watch?v=2xEidpL8_HU