Solution of System in Boolean variables cloning P233 to x,y,z variables (just for fun)

Original system

(((x1 =>y1 =>z1) =>x2 )=>y2) =>z2=1
(((x2 =>y2 =>z2) =>x3) =>y3) =>z3=1
(((x3 =>y3 =>z3) =>x4) =>y4) =>z4=1
(((x4 =>y4 =>z4) =>x5) =>y5) =>z5=1
(((x5 =>y5 =>z5) =>x6) =>y6) =>z6=1
(((x6 =>y6 =>z6) =>x7) =>y7) =>z7=1