Logical inference for playing minesweeper.