\(x1 ∨ x2\) ∧ \(\(x1 ∧ x2\) →x3) ∧ ¬ \(x1 ∧ y1\) = 1

\(x2 ∨ x3\) ∧ \(\(x2 ∧ x3\) →x4) ∧ ¬ \(x2 ∧ y2\) = 1

...

\(x5 ∨ x6\) ∧ \(\(x5 ∧ x6\) →x7) ∧ ¬ \(x5 ∧ y5\) = 1

\(x6 ∨ x7\) ∧ ¬\(x6 ∧ y6\) = 1

x7 ∧ y7 = 0