(var()var()var()'cats'var())houses)(next,(var()'dunhill'var()var()var())(var()var()var()'horse'var())houses)(membero,(var()'blue master''beer'var()var())houses)(membero,('german''prince'var()var()var())houses)(next,('norwegian'var()var()var()var())(var()var()var()var()'blue')houses)(next,(var()'blend'var()var()var())(var()var()'water'var()var())houses)(membero,(var()var()var()'zebra'var())housesnowrun the solver with the preceding constraintssolutions run( housesrules_zebraproblemwith the help of the following codewe can extract the output from the solveroutput_zebra [house for house in solutions[ if 'zebrain house][ ][ the following code will help print the solutionprint ('\ 'output_zebra 'owns zebra 'the output of the above code would be as followsgerman owns zebra