Implicating multi_horn → horn
Link to implication

Reason:

Basically, you need to have horns.

Also,

• Implicate 3_horns -> multi_horn
• Implicate 4_horns -> multi_horn

Related,

• Implicate multi_teeth -> teeth & more! (forum #238500)