Solver Contradiction: No Places Left to Position a Ship

A specific type of ship cannot be placed on the board. This rule is encountered as the last contradictory step of an indirect logical sequence.



The above board shows the consequences of square (F,1) being a ship segment. As you can see, the battleship cannot be placed anywhere (check it for yourself!). Therefore, (F,1) must be water.