No lo compliques.
Según dices, en CTACTE se relacionan los productos con el proveedor, luego, existe siempre un par (producto, proveedor) tal que si excluimos todos los que aparecen en esa lista relacionados con el proveedor 1, alcanza.
La query mayor
no necesita relacionarse con CTACTE para esto: