If entertainment is interesting, it will be well-known.
If entertainment is interesting, it will be popular. All popular things are well-known.
∀x ((Entertainment(x) ∧ Interesting(x)) → Popular(x)) ∀x (Popular(x) → WellKnown(x))