would it be something like this:

  if "setup by the NSA" then "goto fail"

I can think of a q that disproves p then!

  not goto fail.

problem is

  goto fail.

since q is true, p is either false or true, with no distinction either way. So... impossible to prove.