The guy still think that logic didn’t evolve past Aristotle and basic syllogisms, even after a couple of millenia, and argues about a supposed Socrates logic (?) that involves them (???)

They have no idea what they’re talking about other than some random information that they found online, probably. I wouldn’t expect any kind of real logical argument from there.

The funniest thing is that you showed them a perfect example of socratic reductio ad absurdum, but it completely flew over their head because they are too busy trying to argue about syllogisms…