It wasn't supposed to, but compared to the puzzle itself, the rule discovery part was thought to be relatively easy, so I (partly) kept it. Sorry for confusions!