Wut?
Klear
That's not a bat, that's a bird.
You need to be in a better region.
But I hardly know 'er!
FFTFY:

Fine, I'll go make myself another coffee...
A quick look at their comment history tells me they're not even American.
GTFO with your exceptionalism.
Not feeding trolls is a forgotten art. I think it's because everyone is taught to feed the algo nowadays, but it's disappointing it's not better in the fediverse.
Edit: Oh dear. The guy wrote an essay on why he's the hero for getting in shouting matches with idiots =/
I think the problem is that you're thinking in terms of boolean algebra, while implication being implication comes from propositional logic.
Consider the implication to be some claim, for example, "When it's raining (A), it's wet (B)". The value of the implication tells us whether we should call the claimant a liar or. So in case it's raining (A = true) and is is not wet (B = false) the claim turns out to be false, so the value of the implication is false.
Now, supposing it is not raining (A = false). It doesn't matter whether it's wet or not, we can't call the claim false because there just isn't enough information.
It's about falsifiability (or lack thereof, in case A is never true).
It's definitely not a plane or a superman, so I'm out of ideas.