Sure. The point about automation was simply that propositional knowledge of objective reality can bre reduced to the degree that logic machine can be used to test it.
Well, one can teach a machine to ride a bike (or at least to walk, or run, or do backflips per Boston Dynamic). One can...