If I'm reading it right, (null = null) is unknown, which is falsy (except with ansi_nulls off, then it'll be true). (null is null) is true.

I don't think you can test null = (null = null), i.e. null = unknown. Let me know if that's possible somehow, I can't get it working.