Frage Bsp. 5

[patricasso]

Hallo! wie kommt man beim 5-ten bsp von A kongruent zu nicht D und im nächsten schritt kommt man auf A impliziert nicht D und A ist Teilmenge von nicht D! kenn mi jetzt überhaupt mehr ned aus!
bitte um hilfeeeeeeeeeeee!!!!!!!!!!!!!!:ahhh: