The previous post posed Einstein's Riddle and supplied a class diagram to abstract the information.
Here is the solution in BridgePoint running Verifier. In the Session Explorer to the left, you can see the instances of owner and the links to the correct instances of each of house, pet, tobacco and beverage.
Here is a cell-phone picture of the handwritten working notes.
