Solution of one system of boolean equations via reverse pass per Helen Mironchick (II)

"Ignorance of the mapping method is still half the misfortune ..."
  B.D. 

***************************************************************************
  I do emphasize again that core idea of reverse pass to center belongs 
 to Helen Mironchick (unpublished manuscript) .
*************************************************************************** 
Original system

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

#1 - x1
#2 - x1^x2
#3 - (x1^x2=>x3)
#4 - (x1^x2=>x3)^x4
#5 - (x1^x2=>x3)^x4=>x5)

   Passing Polyakov's Control