Domino On Acid - Natural Deduction Visualized As A Game Of Dominoes
You can play the game in the applet window below. If you want to read
background information on the game or download it and its source code,
return to the Domino homepage.
For instructions on playing the game, check out the Short Reference and
the Walkthrough (much recommended) and
the Complete Manual in the Help menu. Note, that the help can take
some time to load when opened for the first time.