Solution of one new system of Boolean Equations with no transition triples in 08/2016 style as of 26/08/2019

Original system

(x1 v x2)*(((x1⊕x2)=>y1)=>z1)=1
(x2 v x3)*(((x2⊕x3)=>y2)=>z2)=1
(x3 v x4)*(((x3⊕x4)=>y3)=>z3)=1
(x4 v x5)*(((x4⊕x5)=>y4)=>z4)=1
(x5 v x6)*(x5 v y5 v z5)=1
(x6 v y6 v z6)=1

Fork 08/2016 chart