Implicating blue_fire -> fire.
Reason: the former is a type of the latter.
Also
create implication purple_fire -> fire
create implication green_fire -> fire
create implication black_fire -> fire
create implication white_fire -> fire
Updated by jxh2154