a) Schritte: P2, P3

Model: P2 = T, P3 = T, P1 = T, P4=T

b) Schritte: P1, P3, P2, P4

Model: P1 = T, P3 = F, P2 = F, P4 = F

c) Schritte: P1, P2, P3

Unerfuelbar wegen P2 UND P1 → P3