Surely made from 16mm originals. The three-strip cameras were owned by Technicolor and required by contract to use Technicolor operators, etc., etc., which woud have been far too expensive for this sort of short subject.
Have you seen this 1949 sales film from Technicolor promoting the use of their printing methods for industrial movies made on single-strip films?
https://www.youtube.com/watch?v=zyiH_r7YCvU
There may also be clues in the material itself, for example, do the titles say "Print by Technicolor" rather than "Color by Technicolor?"