Nope. P is "the nsa is responsible for goto fail". A possible q could be "someone from nsa communicated with someone from apple" Another possible q could be "

Nope. P is "the nsa is responsible for goto fail". A possible q could be "someone from nsa communicated with someone from apple" Another possible q could be "goto fail was introduced on purpose" These specific qs might be difficult/impossible to disprove, but that doesn't mean that there is no q we can disprove.