1

x

xz

┴ Rx (x + y + z)

┴ Rx (¬x + z + ¬t)

┴ Rx (x + ¬y + t)

┴ Rx (x + ¬y + ¬t)

┴ Rx (y + z + t)

┴ Rz (z + ¬t)

┴ Rz (y + z + t)