Solver Rule: Square must be a Ship Segment

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

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