Milk is drunk in the middle house.

Using

\begin{equation*} a = x_{2, 3, 3} \end{equation*}

derive the conjunctive normal form

\begin{equation*} (a) \end{equation*}

and compute