That's just the common mistake of incorrectly encoding one's beliefs in logic and then complaining logic doesn't work. If you think there might be a glass pane between you and a colored ball, your true belief is (No glass pane implies green ball), not (green ball).

If you don't mind me getting on my soap box, it kind of seems like the recipe for coming up with a renowned counterargument to a technical tool goes like:

- Find a technical device that you don't understand.

- Misuse it because you don't understand it.

- Notice that it isn't working.

- Conclude that logic doesn't work, math doesn't work, science doesn't work, the bug is in the compiler, take your pick.