The trick is that the Bloom is on top of the accessed, so a false positive on the bloom is an “I think it is accessed but it is actually not”. If you then negate this to get a Not Accessed check, you get a filter that drops everything that was accessed, but only some of the not accessed. Anything that passes the filter is guaranteed to be not accessed.
I prepare a draft, then we can discuss more in detail.