Board Game Arena

I have a question about deduction and the rule that “all the Verifiers are essential to finding the final code”. Is this true during any part of the game ?
For example, after some answers, I had 3 solutions :
123 / 113/ 223 and 2 verifiers C (B<Y B=Y, the last one was eliminated) and D, for which I had no answer : Even>odd or Even <odd)
Can I deduce that
- If B<Y then there is just one answer (123) and D is NOW irrelevant, so it can’t be the solution.
So the solution is B=Y, and I have to check D to find the good one ?

For the moment I just eliminated verifiers who are irrelevant before the beginning of the game and I know I miss something in my deductions...
( do you know if there are games with comments to improve our deductions skills ?)
Thanks for you help !

The important question: if you completely remove a verifier from the game, do you still get the same unique solution? If so, that verifier is redundant and so the combination of answers from the other verifiers is incorrect.

So yes, if you have not used D at all in your deductions so far, and using just the other verifiers plus Bl<Y uniquely gives you 123, then you know that can not be correct.

If it's useful, I previously wrote a post giving a full 0-test solution to a specific hard puzzle:
https://boardgamearena.com/forum/viewtopic.php?t=34642

You might also look at the Daily Challenge thread on BGG for many full solutions to puzzles without the Hard non-exclusive verifiers (26+):
https://boardgamegeek.com/thread/3005961

thanks for this tip and the link.