Sweeplight
Logic patterns
Every board in Sweeplight can be solved with the four kinds of reasoning below. The game's hints use the same four, and your Logic Rank counts the harder ones you solve without help.
safemine
1. One number at a time
If a number already touches as many lanterns as its value, every other closed neighbour is safe. If it has exactly as many closed neighbours as its value, they are all mines.
2. Two numbers together: 1-1 and 1-2
When two numbers share neighbours, compare what each one can still see. Along a wall, a 1-1 means the tile past the second 1 is safe; a 1-2 means the tile past the 2 is a mine.
3. Subsets
If all the closed neighbours of one number are also neighbours of another, subtract: the bigger number's extra tiles must hold the difference. When the difference is zero those tiles are safe; when it equals the number of extra tiles, they are all mines.
4. Counting the mines
Near the end, the mines-left counter is information too. If the closed tiles you cannot reason about must hold exactly the mines that are left, or none of them, the count decides it. Sweeplight's hardest boards and bosses need this once or twice.
Practice
The Journey teaches these in order: early levels need only the first kind, then the patterns, then subsets, then the count. When a hint appears, it names the pattern and highlights the numbers that prove it.