|
Contradiction: No place for the largest remaining ship.

If cell A is a ship segment it would lead to a contradiction as described under.

The numbers marked in green are filled with water along the line of their arrows [using rule all remaining cells of a line are water].
Now there is no place for the cruiser in the Board, so this position is a contradiction. A cannot be a ship segment.
|
|