1

x

x·¬y

x·¬y·z

(¬x + ¬y + z) Rx (x + y + z + t)

(¬x + ¬y + z) Rx (x + ¬y + z)

┴ Rx (x + y + z)

(x + ¬y + z) Rx (¬x + ¬y + z)

┴ Rx (¬x + z + t)

(x + y + z) Rx (¬x + y + z + u)

┴ Ry (¬y + z)

┴ Ry (z + t)

(¬y + z) Ry (y + z + u)

┴ Rz (z + t)

┴ Rz (z + u)