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)