Solution of one system of Boolean Equations via Reverse Pass to Center per Helen Mironchick

Original system

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