Просматривать список словарей и сравнивать с другими словарями

Можно сделать однострочным:

>>> {k: [i for i in v if dic3.get(i, {}).get('location', '#') in dic1[k]] for k, v in dic2.items()}
{'T1': ['INC1'], 'T2': ['INC4'], 'T3': ['INC2']}

[i for i in v if dic3.get(i, {}).get('location', '#') - это понимание списка, позволяющее выбирать только значения из списков dic2, если dic3[i]['location'] находится внутри dic1[k], где i - ключ в dict d3 и k - это ключ от dict d2, а также от dict d1.

Я использовал dic3.get(i, {}).get('location', '#') (вместо dic3[i]['location'], вы получаете KeyError для ключа INC5, которого нет в dic3), чтобы избежать проблемы с ключом {{X5} } не находясь в dic3 (вернет пустой dict для моего следующего .get), а во втором .get, я снова использую его, чтобы вернуть location соответствующее значение ключа, если оно существует, и проверьте, находится ли эта возвращенная строка внутри значений dict d1.

Я возвращаю # (может быть любой строкой / символом), если знаю, что ключ i не существует в dic3 (i не существует, по существу даст {{X4 }} что, в свою очередь, даст #, это обязательно приведет к отказу от членства в d1, следовательно, все в порядке).

Уменьшенная версия для цикла:

>>> ans = {}
>>> for k, v in dic2.items():
...     temp = []
...     for i in v:
...             if i in dic3 and dic3[i]['location'] in dic1[k]:
...                     temp.append(i)
...     ans[k] = temp
... 
>>> ans
{'T1': ['INC1'], 'T2': ['INC4'], 'T3': ['INC2']}