Stimmt wohl .....
aber die Ramaria pallida kenne ich eher unter dem Namen Blasse Koralle.
Bauchweh machen sicherlich beide 
Habe aber mal nachgeguckt und du hast recht, Ramaria formosa wird allgemein als Dreifarbige Koralle bezeichnet.
Beste Grüße,
Andreas