Logik, um zu überprüfen, ob in einer Gruppe in SQL Server exakte IDs vorhanden sind

Ich habe einige Beispieldaten wie:

Nun, hier versuche ich zu überprüfen, ob in jeder Gruppe nach FK_ID eine genaue Übereinstimmung von TYPE_ID values 1 & 2 vorliegt.

Also ist die erwartete Ausgabe wie folgt:

1. (1, 10, 1) Dies sollte fehlschlagen
   • Wie in der Gruppe FK_ID = 10 haben wir nur einen Datensatz
2. (2, 11, 1), (3, 11, 2) sollte übergeben werden
   • Wie in der Gruppe FK_ID = 11 haben wir zwei Datensätze.
   • Und beide TYPE_ID stimmen mit 1 & 2 überein.
3. (4, 12, 1), (5, 12, 2), (6, 12, 3) Dies sollte ebenfalls fehlschlagen
   • Da wir 3 Datensätze hier haben.
4. (7, 14, 2), (8, 14, 3) Dies sollte ebenfalls fehlschlagen
   • Obwohl wir genau zwei Datensätze haben, sollte es fehlschlagen, da die TYPE_ID hier nicht mit 1 & 2 Werten übereinstimmen.

Hier ist mein Versuch:

Dies funktioniert nicht wie erwartet, da es auch für FK_ID = 12 mit drei Datensätzen gilt.

Demo: SQL Fiddle