Sheesh, that reminds me of a D&D group I had. One guy started arguing about crap. For example: Group got injured, got brought to safety in town, I described how each group member woke up and asked each one what they want to do in the morning. The problem player complained he should have woken up before the other guy, because he has higher initiative. I didn’t go along with it and said nah, your character got knocked out in the last fight, it only makes sense you get up later.
He kept arguing and arguing and arguing and derailing the entire session. And then brought up “Never wrestle with a pig. You both get dirty and the pig likes it”. So pretty much admitting he’s just arguing for the sake of it at that point. Ended the session there, half the group wanted to kick him out, the other half (as they were friends) wanted to give him a second chance. I did the latter and regretted it in the next session, that’s where the campaign ended.