https://www.maruchan.co.jp/customer/faq.html

>Q3.
>赤いきつねの名前の由来を教えてください。
>A.
>開発当初は熱々の美味しさが伝わるようにと、「熱いきつねうどん」という名前で発売される予定でした。
>しかし、店頭で目立ちシズル感のある「赤」を基調色としたデザインが採用されることになり、商品名もユニークでインパクトのある「赤いきつね」に決まりました。

>Q4.
>緑のたぬきの名前の由来を教えてください。
>A.
>「赤いきつね」のシリーズ品として位置づけられた商品であったため、赤と補色関係にある緑を名前に使い、「緑のたぬき」としました。

たぬきはきつねのついで