This is a mistake programmers often make. Our code of laws is not a proof, or a program, or a set of logical axioms. It's interpretations, often conflicting, of legislature. It also takes into account intent and subject matter and various other things.

It doesn't matter that ad block is logically equivalent to bookmarklets. If elected judges determine it's illegal, none of these "nerd" defenses will work. The only defense is to vote in legislators who will pass laws protecting it.