A ship was found having too many ship segments. For example, a 10x10 board can never have a ship with more than four segments.This rule is encountered as the last contradictory step of an indirect logical sequence.