解法例については既に回答されていますので,質問されている方が仰っている「おかしな点の指摘」を2点させていただきます。
(1) 辞書の記述
B = {'さかな': 'まぐろ', 'かつお', 'いぬ': 'しばいぬ', 'ぽめらにあん'}
「望む結果」からの推測ですが,辞書の別の表現形式(これは正しい記述)
B['さかな'] = 'まぐろ', 'かつお'
B['いぬ'] = 'しばいぬ', 'ぽめらにあん'
を波括弧の表現形式に当て嵌めたのだと思われますが,これはエラーになります。回避するには丸括弧を使う必要があります。
B = {'さかな': ('まぐろ', 'かつお'), 'いぬ': ('しばいぬ', 'ぽめらにあん')}
(2) 「A の要素が B のキーに存在していた場合,キーとバリューを表示」
おかしな点とまでは言えないのですが,表示する順序の指定があればより明確になります。選択肢としては「(a) A の順序 (b) B の順序(Python 3.7 以降可) (c) 不問」があり,それにより記述が変わってきます。普通に読めば (a) なので既に回答されている方は (a) を選択しているようです。一方,(c) で良いのであれば積集合(共通集合)が使えますので御参考として記述例を示します。
A = ['さかな', 'とり', 'いぬ', 'ねこ', 'うさぎ']
B = {'さかな': ('まぐろ', 'かつお'), 'いぬ': ('しばいぬ', 'ぽめらにあん')}
for k in set(A) & set(B.keys()):
print(f"'{k}':", f"{B[k]}".strip('()'))
'いぬ': 'しばいぬ', 'ぽめらにあん'
'さかな': 'まぐろ', 'かつお'