Implicating chain_chomp → nintendo
Link to implication

Reason:

Also implicate mario_bros. Should be obvious why.

EDIT: The tag implication chain_chomp -> nintendo (forum #262889) has been rejected by @SnowWolf.

-1, just implicate to Mario_bros instead, as this will imply nintendo. We don't need a redundant implication.

Siral_Exan said:
-1, just implicate to Mario_bros instead, as this will imply nintendo. We don't need a redundant implication.

agree

The tag implication chain_chomp -> nintendo (forum #262889) has been rejected by @SnowWolf.