A single-player logic deduction game. Every unit looks identical from the outside, and the statements about them are true or false based on their relative positions. Deduce the status and position of each unit, which can always be solved without guessing.