Ace Altro was an independent research project I did in college with two other students. We wanted to develop an eduactional game that was fun, but also helped students learn how to construct and prove/disprove logical arguments. You can play the demo version of the game on the EGRIS website.