Solver Rule: Square must be Water

The specified square must be water and not a ship segment.

The rule uses indirect reasoning: if the square were a ship segment, this would lead to a contradiction. The remaining solver rules in the solver window fully explain the indirect reasoning.