If you insist that the guy paid his beer with USD, it is going to be very difficult to discuss about anything as the meanings of the concepts are so twisted.
It is quite obvious that using a credit card that then accepts BTCfrom you does not mean that you use BTC to pay for anything but your credit card bill.
Credit and debit cards are just a way of shifting dollars around. Bitcoin is more a commodity than a currency. Yes, you can convert gold or oil to dollars and buy things, but you can't walk into a store and give them some gold flake or a quart of Texas crude in exchange for a candy bar.
A credit card is shifting a line of credit, an intangible promise to pay, a form of trust, that happens to be denominated in dollars.
We can pretend it's just a balance of dollars, even though it technically isn't, because it makes conversations easier, and in practical fact that's how it appears to work. But that's just a shorthand.
We can use the same shorthand to say someone bought something with bitcoin.
There's no reason to demand perfect technical precision with bitcoin and no similar pedantic precision with lines of credit.
> you can't walk into a store and give them some gold flake or a quart of Texas crude in exchange for a candy bar
I think this is the best test. Here the guy has done that. He walked in with bitcoin and walked out with tacos. When you say that's not really what happened, it feels like a no true scotsman response.
Bitcoin is not a currency. Plenty of other things are true currencies, so there's no fallacy here.
Sure, transactions are intermediated through some consensus denomination for exchange. So?
He still lost bitcoin and gained tacos. Just as someone else might lose a portion of a credit balance and gain tacos. You get just as full either way.