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 pic of my hand-scratched notes…