Ok, I know you guys are just amusing yourselves with this reciprocal trolling, but throwing these fallacy accusations around is a pet peeve of mine
Bringing up logical fallacies in regular discourse is quite often done out of ignorance or an attempt to troll by beating up straw men, because only rarely do people actually mean to express formal rigor. Language is an informal logic, and must be translated into a formal logic for these sorts of formal arguments to have any context. Anyone who commonly tries to translate language into formal logic or something approximating it (i.e., software engineers) knows its really hard because common language is really bad at expressing logic. To do it you almost always need the input of the person who wrote the language. Typically a lot of input, and even then there are mistakes and ambiguities. D&D is nice to code against because many of these issues have already been worked out.
If you don't have the author's input you're just assigning meaning to their words, and some things will get lost in translation. Its very easy to assign meaning that builds a straw man and shows the other party to be incorrect.
For example, if Veilan says "Anyone using a trip chart is not trying to portray a deep character", he probably doesn't mean exactly what he said, which is equivalent to "everyone using a trip chat is not trying to portray a deep character", or trip → ¬deep (which is clearly invalid). He probably means "anyone using a trip chart is probably not trying to portray a deep character", or p(deep | trip) < 0.5 (which is much more reasonable). Yes you can say they should have structured their original assertion more rigorously, but then you're arguing semantics and meaning (likely the proper context for the debate), not logic.
When people say "if X, then Y" they very rarely mean "for all X, Y"; assuming otherwise is disingenuous.
We don't try to prove many things by formal logic because its often really, really hard. All of the world's software is verified by automated testing, not formal logic, because its really hard to use formal logic to verify software programs. The tools to do so are only just now becoming available. I've constructed some proofs of correctness in the language I work in (Scala), and it is very hard and limited in usefulness.
/rant
