 That formal argument is not valid, but one might still want to say that the original, natural language argument is. First-order logic which fails to treat words like ‘red’ and ‘colored’ as logical constants, one might think, falls short of capturing logical consequence. 