|
More ships of one type is forced

In the position above, when ‘A’ is water, all cells marked B are ship segments [using the rule All Free cells are ship segments along the highlighted line].
Now B forms a Cruiser. But already the only cruiser of the board is found. So ‘A’ cannot be water.

|
|