The above comment would be insightful if it was a counterexample. This means it is not a counterexample. That means that it is not insightful.
This does not follow. You’re treating the first premise like a double implication, but it’s certainly not true that the comment would be insightful if and only if it was a counterexample.
Clearly the comment “afsd;ljkurjzvn,x” was just a typo for “afsd:ljkurjzvn.x”, which I read as agreement with my point, making clever reference to complexity theory and Aaronson’s refutation of the waterfall argument.
This does not follow. You’re treating the first premise like a double implication, but it’s certainly not true that the comment would be insightful if and only if it was a counterexample.
Clearly the comment “afsd;ljkurjzvn,x” was just a typo for “afsd:ljkurjzvn.x”, which I read as agreement with my point, making clever reference to complexity theory and Aaronson’s refutation of the waterfall argument.
So it’s isn’t rot13?