When I look for bugs in code that is exactly the method I use. "This code postulates A, B and C. Can I prove that any of A, B and C can not be proven true?" If I can, there is a bug.

Applying the method to a verbal argument: "You never listen!" "That's not true, I'm listening now!" Yes, I think it is very annoying. :)